home *** CD-ROM | disk | FTP | other *** search
/ Chip: Internet / Chip Internet.iso / wwwutil / webspace.nt / clay4.wrl next >
Text File  |  1995-05-15  |  80KB  |  2,368 lines
  1. #VRML V1.0 ascii
  2.  
  3. Separator {
  4.     DEF Viewer Info {
  5.     string    "walk"
  6.     }
  7.     DEF BackgroundColor Info {
  8.     string    ".3 .3 .7"
  9.     }
  10.     DEF Cameras Switch {
  11.     whichChild    0
  12.     DEF Entry PerspectiveCamera {
  13.         position    10.1391 -40.46357 -20.85141
  14.         orientation    0 0 1  15.0077
  15.         nearDistance    0.102649
  16.         farDistance    102.854
  17.         focalDistance    12.6326
  18.         heightAngle    1.2472
  19.     }
  20.     DEF OutFromStairs PerspectiveCamera {
  21.         position    3.07448 1.46357 1.61621
  22.         orientation    0 1 0  1.3887
  23.         focalDistance    12.6326
  24.         heightAngle    1.0472
  25.     }
  26.     }
  27.     PointLight {
  28.     on    TRUE
  29.     intensity    1
  30.     color    0.792157 0.758824 0.758824
  31.     location    710.643 731.569 -369.828
  32.     }
  33.     SpotLight {
  34.     on    TRUE
  35.     intensity    1
  36.     color    0.705882 0.705882 0.705882
  37.     location    169.139 346.736 427.762
  38.     direction    -189.596 -293.569 -427.762
  39.     dropOffRate    0
  40.     cutOffAngle    0.767945
  41.     }
  42.     Separator {        
  43.         WWWAnchor {
  44.         name    "http://reality.sgi.com/employees/clay/VA_pgoal.html"
  45.         BaseColor {
  46.             rgb    0.734635 0.123382 0.697042
  47.         }
  48.         WWWInline {
  49.             name    "http://koosh.esd/clay/link01.wrl"
  50.             bboxCenter    -0.210405 -0.456439 -0.302354
  51.             bboxSize    0.5207 0.644845 0.717551
  52.         }
  53.         }
  54.     }
  55.     Separator {        
  56.         WWWAnchor {
  57.         name    "http://reality.sgi.com/employees/clay/VA_mundi.html"
  58.         BaseColor {
  59.             rgb    0.734635 0.123382 0.697042
  60.         }
  61.         WWWInline {
  62.             name    "http://koosh.esd/clay/link02.wrl"
  63.             bboxCenter    -0.210405 -0.456439 -0.302354
  64.             bboxSize    0.5207 0.644845 0.717551
  65.         }
  66.         }
  67.     }
  68.     Separator {        
  69.         WWWAnchor {
  70.         name    "http://reality.sgi.com/employees/clay/VA_sarray.html"
  71.         BaseColor {
  72.             rgb    0.734635 0.123382 0.697042
  73.         }
  74.         WWWInline {
  75.             name    "http://koosh.esd/clay/link03.wrl"
  76.             bboxCenter    -0.210405 -0.456439 -0.302354
  77.             bboxSize    0.5207 0.644845 0.717551
  78.         }
  79.         }
  80.     }
  81.     DEF Object ShapeKit {
  82.     appearance        AppearanceKit {
  83.         material            Material {
  84.         ambientColor    0.0980392 0.00784314 0.52549
  85.         diffuseColor    0.403922 0.223529 0.898039
  86.         specularColor    0.54902 0.403922 0.92549
  87.         transparency    0
  88.         }
  89.  
  90.     }
  91.  
  92.     coordinate3        Coordinate3 {
  93.         point    [ 335.378 -78.5434 211.544,
  94.                   325.342 -78.5435 121.218,
  95.                   335.378 -119.088 211.544,
  96.                   325.342 -119.088 121.218,
  97.                   209.646 -119.088 232.732,
  98.                   -71.3688 -78.5434 246.114,
  99.                   -32.339 -78.5434 213.775,
  100.                   -71.3688 -119.088 246.114,
  101.                   -32.339 -119.088 213.775,
  102.                   -153.889 -78.5434 198.163,
  103.                   -153.889 -119.088 198.163,
  104.                   -121.55 -78.5435 118.988,
  105.                   -121.55 -119.088 118.988,
  106.                   -148.313 -78.5435 110.067,
  107.                   -148.313 -119.088 110.067,
  108.                   -103.987 -119.088 54.3099,
  109.                   75.5506 -119.088 115.642,
  110.                   -20.3513 -119.088 26.4315,
  111.                   54.6418 -119.088 130.139,
  112.                   285.197 -119.088 126.794,
  113.                   276.275 -119.088 155.787,
  114.                   226.094 -119.088 159.133,
  115.                   209.646 -119.088 252.804,
  116.                   156.119 -119.088 252.804,
  117.                   155.004 -119.088 234.962,
  118.                   -139.792 -78.5435 99.348,
  119.                   -119.911 -78.5435 105.312,
  120.                   -93.9722 -78.5435 68.6934,
  121.                   285.197 -78.5435 126.794,
  122.                   277.134 -78.5434 152.998,
  123.                   -20.3513 -101.884 26.4314,
  124.                   -103.987 -101.884 54.3099,
  125.                   75.5506 -101.884 115.642,
  126.                   61.1107 -101.884 102.21,
  127.                   54.6418 -101.884 130.139,
  128.                   226.094 -101.884 159.133,
  129.                   276.275 -101.884 155.787,
  130.                   277.134 -101.884 152.998,
  131.                   -139.792 -101.884 99.348,
  132.                   -119.911 -101.884 105.312,
  133.                   281.373 -101.884 163.293,
  134.                   281.373 -78.5434 163.293,
  135.                   227.97 -101.884 169.396,
  136.                   227.97 -78.5434 169.396,
  137.                   34.1944 -78.5435 134.302,
  138.                   61.1107 -78.5435 102.21,
  139.                   34.1944 -101.884 134.302,
  140.                   -93.9722 -101.884 68.6934,
  141.                   -6.6804 -78.5435 39.1485,
  142.                   -6.6804 -101.884 39.1485,
  143.                   300.139 -78.5435 124.719,
  144.                   314.655 -78.5435 122.702,
  145.                   -135.169 -78.5434 190.757,
  146.                   -48.1984 -78.5434 198.386,
  147.                   -74.1369 -78.5434 230.427,
  148.                   300.139 -116.018 124.718,
  149.                   314.655 -116.018 122.702,
  150.                   215.764 -116.018 231.701,
  151.                   215.764 -78.5434 231.701,
  152.                   209.646 -116.018 232.732,
  153.                   209.646 -116.018 252.804,
  154.                   156.119 -116.018 252.804,
  155.                   155.004 -116.018 234.962,
  156.                   148.276 -78.5434 234.201,
  157.                   148.276 -116.018 234.201,
  158.                   -3.05745 -78.5435 42.5187,
  159.                   55.8877 -78.5435 97.3513,
  160.                   292.053 -78.5434 170.921,
  161.                   319.518 -78.5434 196.86,
  162.                   227.97 -78.5434 187.705,
  163.                   240.176 -78.5434 178.55,
  164.                   243.228 -78.5434 187.705,
  165.                   215.764 -78.5434 215.169,
  166.                   69.9059 -78.5435 140.77,
  167.                   163.887 -78.5435 157.79,
  168.                   163.887 -78.5434 173.973,
  169.                   58.6071 -78.5434 151.086,
  170.                   148.629 -78.5434 224.324,
  171.                   11.3075 -78.5435 141.931,
  172.                   -90.9206 -78.5435 73.2708,
  173.                   -3.05745 -116.018 42.5187,
  174.                   55.8876 -116.018 97.3513,
  175.                   77.3442 -116.018 133.978,
  176.                   163.887 -116.018 148.613,
  177.                   77.3443 -101.884 133.978,
  178.                   163.887 -101.884 148.613,
  179.                   69.9059 -101.884 140.77,
  180.                   163.887 -101.884 157.79,
  181.                   292.053 -116.018 170.921,
  182.                   319.518 -116.018 196.86,
  183.                   215.764 -116.018 215.169,
  184.                   243.228 -116.018 187.705,
  185.                   240.176 -116.018 178.55,
  186.                   227.97 -116.018 187.705,
  187.                   163.887 -116.018 173.973,
  188.                   -135.169 -116.018 190.757,
  189.                   -90.9206 -116.018 73.2708,
  190.                   11.3075 -116.018 141.931,
  191.                   148.629 -116.018 224.324,
  192.                   -48.1984 -116.018 198.386,
  193.                   -74.1369 -116.018 230.427,
  194.                   58.6071 -116.018 151.086 ]
  195.     }
  196.  
  197.     shape        IndexedFaceSet {
  198.         coordIndex    [ 1, 0, 2, -1, 1, 2, 3, -1,
  199.                   0, 4, 2, -1, 6, 5, 7, -1,
  200.                   6, 7, 8, -1, 5, 9, 10, -1,
  201.                   5, 10, 7, -1, 9, 11, 12, -1,
  202.                   9, 12, 10, -1, 11, 13, 14, -1,
  203.                   11, 14, 12, -1, 12, 14, 15, -1,
  204.                   17, 16, 18, -1, 19, 3, 2, -1,
  205.                   20, 19, 2, -1, 20, 2, 4, -1,
  206.                   21, 20, 4, -1, 18, 21, 4, -1,
  207.                   4, 22, 23, -1, 4, 23, 24, -1,
  208.                   18, 4, 24, -1, 18, 24, 8, -1,
  209.                   7, 10, 12, -1, 8, 7, 12, -1,
  210.                   18, 8, 12, -1, 17, 18, 12, -1,
  211.                   15, 17, 12, -1, 13, 11, 25, -1,
  212.                   25, 11, 26, -1, 11, 27, 26, -1,
  213.                   29, 28, 19, -1, 30, 17, 15, -1,
  214.                   15, 31, 30, -1, 16, 32, 18, -1,
  215.                   32, 16, 33, -1, 34, 18, 32, -1,
  216.                   21, 35, 20, -1, 36, 20, 35, -1,
  217.                   20, 36, 19, -1, 19, 37, 29, -1,
  218.                   19, 36, 37, -1, 13, 25, 38, -1,
  219.                   13, 38, 14, -1, 31, 15, 38, -1,
  220.                   38, 15, 14, -1, 26, 39, 25, -1,
  221.                   39, 26, 27, -1, 29, 40, 41, -1,
  222.                   41, 40, 42, -1, 41, 42, 43, -1,
  223.                   45, 44, 46, -1, 48, 47, 27, -1,
  224.                   27, 47, 39, -1, 39, 47, 31, -1,
  225.                   47, 30, 31, -1, 33, 45, 46, -1,
  226.                   47, 48, 49, -1, 32, 33, 46, -1,
  227.                   47, 49, 30, -1, 32, 46, 34, -1,
  228.                   42, 40, 35, -1, 35, 40, 36, -1,
  229.                   40, 29, 37, -1, 40, 37, 36, -1,
  230.                   38, 25, 39, -1, 38, 39, 31, -1,
  231.                   50, 28, 29, -1, 51, 0, 1, -1,
  232.                   68, 0, 51, -1, 51, 1, 3, -1,
  233.                   11, 9, 52, -1, 9, 5, 52, -1,
  234.                   52, 5, 54, -1, 6, 54, 5, -1,
  235.                   54, 6, 53, -1, 55, 28, 50, -1,
  236.                   28, 55, 19, -1, 51, 3, 56, -1,
  237.                   3, 19, 55, -1, 3, 55, 56, -1,
  238.                   4, 0, 57, -1, 0, 58, 57, -1,
  239.                   59, 4, 57, -1, 4, 59, 22, -1,
  240.                   22, 60, 23, -1, 59, 60, 22, -1,
  241.                   23, 61, 24, -1, 60, 61, 23, -1,
  242.                   62, 24, 61, -1, 24, 62, 8, -1,
  243.                   8, 63, 6, -1, 63, 8, 64, -1,
  244.                   62, 64, 8, -1, 79, 11, 52, -1,
  245.                   11, 79, 27, -1, 65, 48, 27, -1,
  246.                   66, 45, 33, -1, 45, 66, 44, -1,
  247.                   67, 29, 41, -1, 50, 29, 67, -1,
  248.                   0, 68, 58, -1, 70, 41, 43, -1,
  249.                   67, 41, 70, -1, 72, 58, 68, -1,
  250.                   43, 69, 70, -1, 70, 69, 71, -1,
  251.                   44, 73, 46, -1, 75, 69, 43, -1,
  252.                   75, 43, 74, -1, 73, 44, 76, -1,
  253.                   53, 63, 77, -1, 53, 6, 63, -1,
  254.                   78, 44, 66, -1, 76, 44, 78, -1,
  255.                   79, 65, 27, -1, 17, 30, 80, -1,
  256.                   80, 30, 49, -1, 16, 17, 80, -1,
  257.                   16, 80, 81, -1, 48, 65, 49, -1,
  258.                   49, 65, 80, -1, 18, 34, 82, -1,
  259.                   21, 18, 82, -1, 34, 84, 82, -1,
  260.                   85, 21, 83, -1, 21, 85, 35, -1,
  261.                   21, 82, 83, -1, 35, 85, 42, -1,
  262.                   46, 86, 34, -1, 42, 87, 43, -1,
  263.                   46, 73, 86, -1, 87, 74, 43, -1,
  264.                   84, 34, 86, -1, 87, 42, 85, -1,
  265.                   89, 88, 90, -1, 92, 91, 88, -1,
  266.                   88, 91, 90, -1, 91, 93, 90, -1,
  267.                   93, 94, 90, -1, 96, 95, 97, -1,
  268.                   90, 94, 98, -1, 100, 99, 95, -1,
  269.                   95, 99, 97, -1, 99, 98, 97, -1,
  270.                   97, 98, 101, -1, 98, 94, 101, -1,
  271.                   51, 89, 68, -1, 95, 96, 52, -1,
  272.                   54, 95, 52, -1, 95, 54, 100, -1,
  273.                   53, 99, 100, -1, 54, 53, 100, -1,
  274.                   89, 51, 56, -1, 55, 50, 88, -1,
  275.                   55, 88, 89, -1, 89, 56, 55, -1,
  276.                   90, 57, 58, -1, 57, 90, 59, -1,
  277.                   61, 60, 59, -1, 61, 59, 90, -1,
  278.                   90, 98, 62, -1, 61, 90, 62, -1,
  279.                   64, 98, 63, -1, 98, 64, 62, -1,
  280.                   52, 96, 79, -1, 50, 67, 88, -1,
  281.                   68, 89, 90, -1, 67, 70, 88, -1,
  282.                   68, 90, 72, -1, 69, 93, 91, -1,
  283.                   91, 71, 69, -1, 71, 91, 92, -1,
  284.                   70, 92, 88, -1, 70, 71, 92, -1,
  285.                   58, 72, 90, -1, 75, 94, 93, -1,
  286.                   75, 74, 94, -1, 69, 75, 93, -1,
  287.                   76, 101, 73, -1, 63, 98, 77, -1,
  288.                   77, 98, 99, -1, 77, 99, 53, -1,
  289.                   101, 76, 97, -1, 66, 97, 78, -1,
  290.                   76, 78, 97, -1, 65, 79, 80, -1,
  291.                   80, 79, 96, -1, 80, 96, 97, -1,
  292.                   81, 97, 66, -1, 97, 81, 80, -1,
  293.                   101, 82, 84, -1, 82, 101, 94, -1,
  294.                   83, 94, 85, -1, 94, 83, 82, -1,
  295.                   73, 101, 86, -1, 101, 84, 86, -1,
  296.                   85, 94, 87, -1, 87, 94, 74, -1,
  297.                   81, 18, 16, -1, 33, 97, 66, -1,
  298.                   16, 97, 33, -1, 81, 66, 33, -1,
  299.                   33, 16, 81, -1 ]
  300.     }
  301.  
  302.     }
  303.     DEF plat2 ShapeKit {
  304.     appearance        AppearanceKit {
  305.         material            Material {
  306.         ambientColor    0.137255 0.180392 0.458824
  307.         diffuseColor    0.215686 0.333333 0.835294
  308.         specularColor    0.415686 0.462745 0.807843
  309.         transparency    0
  310.         }
  311.  
  312.     }
  313.  
  314.     coordinate3        Coordinate3 {
  315.         point    [ -103.987 -120.215 54.3099,
  316.                   -20.3513 -120.215 26.4314,
  317.                   73.865 -120.215 106.838,
  318.                   54.6418 -120.215 130.139,
  319.                   226.094 -120.215 159.133,
  320.                   276.275 -120.215 155.787,
  321.                   285.197 -120.215 126.794,
  322.                   325.342 -120.215 121.218,
  323.                   335.378 -120.215 211.544,
  324.                   209.646 -120.215 232.732,
  325.                   209.646 -120.215 252.804,
  326.                   156.119 -120.215 252.804,
  327.                   155.004 -120.215 234.962,
  328.                   -34.4663 -120.215 209.066,
  329.                   -71.3688 -120.215 246.114,
  330.                   -153.889 -120.215 198.163,
  331.                   -121.55 -120.215 118.988,
  332.                   -148.313 -120.215 110.067,
  333.                   287.675 -120.215 117.873,
  334.                   296.631 -120.215 76.3223,
  335.                   307.228 -120.215 71.4341,
  336.                   307.228 -120.216 -188.116,
  337.                   288.897 -120.216 -195.448,
  338.                   288.897 -120.216 -228.444,
  339.                   310.894 -120.216 -244.331,
  340.                   331.67 -120.216 -229.666,
  341.                   331.67 -120.216 -204.003,
  342.                   312.116 -120.216 -189.338,
  343.                   312.116 -120.215 71.4341,
  344.                   321.043 -120.215 67.1677,
  345.                   324.337 -120.215 114.206,
  346.                   -103.987 -124.834 54.3098,
  347.                   -20.3513 -124.834 26.4314,
  348.                   73.865 -124.834 106.838,
  349.                   54.6418 -124.834 130.139,
  350.                   226.094 -124.834 159.133,
  351.                   276.275 -124.834 155.787,
  352.                   285.197 -124.834 126.794,
  353.                   325.342 -124.834 121.218,
  354.                   335.378 -124.834 211.544,
  355.                   209.646 -124.834 232.732,
  356.                   209.646 -124.834 252.804,
  357.                   156.119 -124.834 252.804,
  358.                   155.004 -124.834 234.962,
  359.                   -34.4663 -124.834 209.066,
  360.                   -71.3688 -124.834 246.114,
  361.                   -153.889 -124.834 198.163,
  362.                   -121.55 -124.834 118.988,
  363.                   -148.313 -124.834 110.067,
  364.                   287.675 -124.834 117.873,
  365.                   296.631 -124.834 76.3224,
  366.                   307.228 -124.834 71.4342,
  367.                   307.228 -124.834 -188.116,
  368.                   288.897 -124.834 -195.448,
  369.                   288.897 -124.834 -228.444,
  370.                   310.894 -124.834 -244.331,
  371.                   331.67 -124.834 -229.666,
  372.                   331.67 -124.834 -204.003,
  373.                   312.116 -124.834 -189.338,
  374.                   312.116 -124.834 71.4342,
  375.                   321.043 -124.834 67.1676,
  376.                   324.337 -124.834 114.207 ]
  377.     }
  378.  
  379.     shape        IndexedFaceSet {
  380.         coordIndex    [ 0, 17, 16, -1, 8, 7, 6, -1,
  381.                   8, 6, 5, -1, 9, 8, 5, -1,
  382.                   9, 5, 4, -1, 9, 4, 3, -1,
  383.                   11, 10, 9, -1, 12, 11, 9, -1,
  384.                   12, 9, 3, -1, 13, 12, 3, -1,
  385.                   3, 2, 1, -1, 13, 3, 1, -1,
  386.                   13, 1, 0, -1, 13, 0, 16, -1,
  387.                   13, 16, 15, -1, 13, 15, 14, -1,
  388.                   30, 29, 28, -1, 19, 18, 30, -1,
  389.                   19, 30, 28, -1, 20, 19, 28, -1,
  390.                   20, 28, 27, -1, 21, 20, 27, -1,
  391.                   25, 24, 23, -1, 26, 25, 23, -1,
  392.                   26, 23, 22, -1, 27, 26, 22, -1,
  393.                   27, 22, 21, -1, 0, 1, 32, -1,
  394.                   0, 32, 31, -1, 1, 2, 33, -1,
  395.                   1, 33, 32, -1, 2, 3, 34, -1,
  396.                   2, 34, 33, -1, 3, 4, 35, -1,
  397.                   3, 35, 34, -1, 4, 5, 36, -1,
  398.                   4, 36, 35, -1, 5, 6, 37, -1,
  399.                   5, 37, 36, -1, 6, 7, 38, -1,
  400.                   6, 38, 37, -1, 7, 8, 39, -1,
  401.                   7, 39, 38, -1, 8, 9, 40, -1,
  402.                   8, 40, 39, -1, 9, 10, 41, -1,
  403.                   9, 41, 40, -1, 10, 11, 42, -1,
  404.                   10, 42, 41, -1, 11, 12, 43, -1,
  405.                   11, 43, 42, -1, 12, 13, 44, -1,
  406.                   12, 44, 43, -1, 13, 14, 45, -1,
  407.                   13, 45, 44, -1, 14, 15, 46, -1,
  408.                   14, 46, 45, -1, 15, 16, 47, -1,
  409.                   15, 47, 46, -1, 16, 17, 48, -1,
  410.                   16, 48, 47, -1, 17, 0, 31, -1,
  411.                   17, 31, 48, -1, 18, 19, 50, -1,
  412.                   18, 50, 49, -1, 19, 20, 51, -1,
  413.                   19, 51, 50, -1, 20, 21, 52, -1,
  414.                   20, 52, 51, -1, 21, 22, 53, -1,
  415.                   21, 53, 52, -1, 22, 23, 54, -1,
  416.                   22, 54, 53, -1, 23, 24, 55, -1,
  417.                   23, 55, 54, -1, 24, 25, 56, -1,
  418.                   24, 56, 55, -1, 25, 26, 57, -1,
  419.                   25, 57, 56, -1, 26, 27, 58, -1,
  420.                   26, 58, 57, -1, 27, 28, 59, -1,
  421.                   27, 59, 58, -1, 28, 29, 60, -1,
  422.                   28, 60, 59, -1, 29, 30, 61, -1,
  423.                   29, 61, 60, -1, 30, 18, 49, -1,
  424.                   30, 49, 61, -1, 47, 48, 31, -1,
  425.                   37, 38, 39, -1, 36, 37, 39, -1,
  426.                   36, 39, 40, -1, 35, 36, 40, -1,
  427.                   34, 35, 40, -1, 40, 41, 42, -1,
  428.                   40, 42, 43, -1, 34, 40, 43, -1,
  429.                   34, 43, 44, -1, 32, 33, 34, -1,
  430.                   32, 34, 44, -1, 31, 32, 44, -1,
  431.                   47, 31, 44, -1, 46, 47, 44, -1,
  432.                   45, 46, 44, -1, 59, 60, 61, -1,
  433.                   61, 49, 50, -1, 59, 61, 50, -1,
  434.                   59, 50, 51, -1, 58, 59, 51, -1,
  435.                   58, 51, 52, -1, 54, 55, 56, -1,
  436.                   54, 56, 57, -1, 53, 54, 57, -1,
  437.                   53, 57, 58, -1, 52, 53, 58, -1 ]
  438.     }
  439.  
  440.     }
  441.     DEF plat3 ShapeKit {
  442.     appearance        AppearanceKit {
  443.         material            Material {
  444.         ambientColor    0.137255 0.180392 0.458824
  445.         diffuseColor    0.215686 0.333333 0.835294
  446.         specularColor    0.415686 0.462745 0.807843
  447.         transparency    0
  448.         }
  449.  
  450.     }
  451.  
  452.     coordinate3        Coordinate3 {
  453.         point    [ -81.7658 -129.816 -21.3282,
  454.                   -10.0536 -129.816 -32.0087,
  455.                   125.742 -129.816 67.1677,
  456.                   110.484 -129.816 96.1577,
  457.                   188.853 -129.816 118.618,
  458.                   219.369 -129.816 107.938,
  459.                   236.153 -129.816 109.464,
  460.                   211.74 -129.816 135.402,
  461.                   93.7003 -129.816 106.838,
  462.                   110.484 -129.816 74.7966,
  463.                   -7.00199 -129.816 -7.59607,
  464.                   -57.3531 -129.816 6.13607,
  465.                   222.421 -131.211 103.36,
  466.                   243.782 -131.211 88.1025,
  467.                   243.782 -131.211 43.8544,
  468.                   234.627 -131.211 31.6483,
  469.                   234.627 -131.211 13.3388,
  470.                   246.833 -131.211 -1.91916,
  471.                   260.565 -131.211 13.3388,
  472.                   260.565 -131.211 30.1225,
  473.                   249.885 -131.211 45.3802,
  474.                   249.885 -131.211 91.1541,
  475.                   237.679 -131.211 106.412,
  476.                   -81.7658 -134.334 -21.3284,
  477.                   -10.0536 -134.334 -32.0089,
  478.                   125.742 -134.334 67.1677,
  479.                   110.484 -134.334 96.1577,
  480.                   188.853 -134.334 118.618,
  481.                   219.369 -134.334 107.938,
  482.                   236.153 -134.334 109.464,
  483.                   211.74 -134.334 135.402,
  484.                   93.7003 -134.334 106.838,
  485.                   110.484 -134.334 74.7966,
  486.                   -7.00199 -134.334 -7.59626,
  487.                   -57.3531 -134.334 6.13589,
  488.                   222.421 -132.939 103.36,
  489.                   243.782 -132.939 88.1025,
  490.                   243.782 -132.939 43.8544,
  491.                   234.627 -132.939 31.6481,
  492.                   234.627 -132.939 13.3386,
  493.                   246.833 -132.939 -1.91935,
  494.                   260.565 -132.939 13.3386,
  495.                   260.565 -132.939 30.1223,
  496.                   249.885 -132.939 45.3802,
  497.                   249.885 -132.939 91.1541,
  498.                   237.679 -132.939 106.412 ]
  499.     }
  500.  
  501.     shape        IndexedFaceSet {
  502.         coordIndex    [ 7, 6, 5, -1, 7, 5, 4, -1,
  503.                   8, 7, 4, -1, 8, 4, 3, -1,
  504.                   9, 8, 3, -1, 9, 3, 2, -1,
  505.                   1, 0, 11, -1, 1, 11, 10, -1,
  506.                   2, 1, 10, -1, 2, 10, 9, -1,
  507.                   13, 12, 22, -1, 13, 22, 21, -1,
  508.                   13, 21, 20, -1, 14, 13, 20, -1,
  509.                   18, 17, 16, -1, 18, 16, 15, -1,
  510.                   19, 18, 15, -1, 20, 19, 15, -1,
  511.                   20, 15, 14, -1, 0, 1, 24, -1,
  512.                   0, 24, 23, -1, 1, 2, 25, -1,
  513.                   1, 25, 24, -1, 2, 3, 26, -1,
  514.                   2, 26, 25, -1, 3, 4, 27, -1,
  515.                   3, 27, 26, -1, 4, 5, 28, -1,
  516.                   4, 28, 27, -1, 5, 6, 29, -1,
  517.                   5, 29, 28, -1, 6, 7, 30, -1,
  518.                   6, 30, 29, -1, 7, 8, 31, -1,
  519.                   7, 31, 30, -1, 8, 9, 32, -1,
  520.                   8, 32, 31, -1, 9, 10, 33, -1,
  521.                   9, 33, 32, -1, 10, 11, 34, -1,
  522.                   10, 34, 33, -1, 11, 0, 23, -1,
  523.                   11, 23, 34, -1, 12, 13, 36, -1,
  524.                   12, 36, 35, -1, 13, 14, 37, -1,
  525.                   13, 37, 36, -1, 14, 15, 38, -1,
  526.                   14, 38, 37, -1, 15, 16, 39, -1,
  527.                   15, 39, 38, -1, 16, 17, 40, -1,
  528.                   16, 40, 39, -1, 17, 18, 41, -1,
  529.                   17, 41, 40, -1, 18, 19, 42, -1,
  530.                   18, 42, 41, -1, 19, 20, 43, -1,
  531.                   19, 43, 42, -1, 20, 21, 44, -1,
  532.                   20, 44, 43, -1, 21, 22, 45, -1,
  533.                   21, 45, 44, -1, 22, 12, 35, -1,
  534.                   22, 35, 45, -1, 28, 29, 30, -1,
  535.                   27, 28, 30, -1, 27, 30, 31, -1,
  536.                   26, 27, 31, -1, 26, 31, 32, -1,
  537.                   25, 26, 32, -1, 34, 23, 24, -1,
  538.                   33, 34, 24, -1, 33, 24, 25, -1,
  539.                   32, 33, 25, -1, 45, 35, 36, -1,
  540.                   44, 45, 36, -1, 43, 44, 36, -1,
  541.                   43, 36, 37, -1, 39, 40, 41, -1,
  542.                   38, 39, 41, -1, 38, 41, 42, -1,
  543.                   38, 42, 43, -1, 37, 38, 43, -1 ]
  544.     }
  545.  
  546.     }
  547.     DEF plat6 ShapeKit {
  548.     appearance        AppearanceKit {
  549.         material            Material {
  550.         ambientColor    0.14902 0.211765 0.584314
  551.         diffuseColor    0.14902 0.211765 0.584314
  552.         specularColor    0.109804 0.505882 0.933333
  553.         transparency    0
  554.         }
  555.  
  556.     }
  557.  
  558.     coordinate3        Coordinate3 {
  559.         point    [ -113.617 94.4507 250.978,
  560.                   -52.5852 94.4507 106.028,
  561.                   19.1271 94.4508 75.5117,
  562.                   52.6945 94.4507 106.028,
  563.                   -90.73 94.4507 267.762,
  564.                   -113.617 36.3998 250.978,
  565.                   -52.5852 36.3999 106.028,
  566.                   19.1271 36.3999 75.5117,
  567.                   52.6945 36.3998 106.028,
  568.                   -90.73 36.3998 267.762 ]
  569.     }
  570.  
  571.     shape        IndexedFaceSet {
  572.         coordIndex    [ 4, 3, 2, -1, 4, 2, 1, -1,
  573.                   4, 1, 0, -1, 0, 1, 6, -1,
  574.                   0, 6, 5, -1, 1, 2, 7, -1,
  575.                   1, 7, 6, -1, 2, 3, 8, -1,
  576.                   2, 8, 7, -1, 3, 4, 9, -1,
  577.                   3, 9, 8, -1, 4, 0, 5, -1,
  578.                   4, 5, 9, -1, 7, 8, 9, -1,
  579.                   6, 7, 9, -1, 5, 6, 9, -1 ]
  580.     }
  581.  
  582.     }
  583.     DEF plat02 ShapeKit {
  584.     appearance        AppearanceKit {
  585.         material            Material {
  586.         ambientColor    0.266667 0.0196078 0.462745
  587.         diffuseColor    0.239216 0.054902 0.356863
  588.         specularColor    0.588235 0.431373 0.670588
  589.         transparency    0
  590.         }
  591.  
  592.     }
  593.  
  594.     coordinate3        Coordinate3 {
  595.         point    [ -7.00199 -89.7501 51.9097,
  596.                   44.875 -89.7501 94.6319,
  597.                   23.5139 -89.7501 117.519,
  598.                   -28.3631 -89.7501 71.745,
  599.                   -77.1884 -89.7501 88.5287,
  600.                   -84.8174 -89.7501 114.467,
  601.                   -26.8373 -89.7501 163.293,
  602.                   -48.1984 -89.7501 184.654,
  603.                   -98.5495 -89.7501 137.354,
  604.                   -109.23 -89.7501 170.921,
  605.                   -63.4563 -89.7501 204.489,
  606.                   -78.7142 -89.7501 219.747,
  607.                   -124.488 -89.7501 184.654,
  608.                   -84.8174 -89.7501 76.3223,
  609.                   5.20435 -89.7501 48.8581,
  610.                   31.1428 -89.7501 38.1776,
  611.                   70.8134 -89.7501 68.6934,
  612.                   50.9781 -89.7501 87.003,
  613.                   -7.00199 -92.1456 51.9097,
  614.                   44.875 -92.1456 94.6319,
  615.                   23.5139 -92.1456 117.519,
  616.                   -28.3631 -92.1456 71.745,
  617.                   -77.1884 -92.1456 88.5287,
  618.                   -84.8174 -92.1456 114.467,
  619.                   -26.8373 -92.1456 163.293,
  620.                   -48.1984 -92.1456 184.654,
  621.                   -98.5495 -92.1456 137.354,
  622.                   -109.23 -92.1456 170.921,
  623.                   -63.4563 -92.1456 204.489,
  624.                   -78.7142 -92.1456 219.747,
  625.                   -124.488 -92.1456 184.654,
  626.                   -84.8174 -92.1456 76.3223,
  627.                   5.20435 -92.1456 48.8581,
  628.                   31.1428 -92.1456 38.1775,
  629.                   70.8134 -92.1456 68.6934,
  630.                   50.9781 -92.1456 87.0029 ]
  631.     }
  632.  
  633.     shape        IndexedFaceSet {
  634.         coordIndex    [ 11, 10, 9, -1, 12, 11, 9, -1,
  635.                   13, 12, 9, -1, 13, 9, 8, -1,
  636.                   7, 6, 5, -1, 8, 7, 5, -1,
  637.                   13, 8, 5, -1, 13, 5, 4, -1,
  638.                   0, 13, 4, -1, 0, 4, 3, -1,
  639.                   0, 3, 2, -1, 1, 0, 2, -1,
  640.                   15, 14, 17, -1, 16, 15, 17, -1,
  641.                   0, 1, 19, -1, 0, 19, 18, -1,
  642.                   1, 2, 20, -1, 1, 20, 19, -1,
  643.                   2, 3, 21, -1, 2, 21, 20, -1,
  644.                   3, 4, 22, -1, 3, 22, 21, -1,
  645.                   4, 5, 23, -1, 4, 23, 22, -1,
  646.                   5, 6, 24, -1, 5, 24, 23, -1,
  647.                   6, 7, 25, -1, 6, 25, 24, -1,
  648.                   7, 8, 26, -1, 7, 26, 25, -1,
  649.                   8, 9, 27, -1, 8, 27, 26, -1,
  650.                   9, 10, 28, -1, 9, 28, 27, -1,
  651.                   10, 11, 29, -1, 10, 29, 28, -1,
  652.                   11, 12, 30, -1, 11, 30, 29, -1,
  653.                   12, 13, 31, -1, 12, 31, 30, -1,
  654.                   13, 0, 18, -1, 13, 18, 31, -1,
  655.                   14, 15, 33, -1, 14, 33, 32, -1,
  656.                   15, 16, 34, -1, 15, 34, 33, -1,
  657.                   16, 17, 35, -1, 16, 35, 34, -1,
  658.                   17, 14, 32, -1, 17, 32, 35, -1,
  659.                   27, 28, 29, -1, 27, 29, 30, -1,
  660.                   27, 30, 31, -1, 26, 27, 31, -1,
  661.                   23, 24, 25, -1, 23, 25, 26, -1,
  662.                   23, 26, 31, -1, 22, 23, 31, -1,
  663.                   22, 31, 18, -1, 21, 22, 18, -1,
  664.                   20, 21, 18, -1, 20, 18, 19, -1,
  665.                   35, 32, 33, -1, 35, 33, 34, -1 ]
  666.     }
  667.  
  668.     }
  669.     DEF plat01 ShapeKit {
  670.     appearance        AppearanceKit {
  671.         material            Material {
  672.         ambientColor    0.431373 0.207843 0.698039
  673.         diffuseColor    0.431373 0.207843 0.698039
  674.         specularColor    0.505882 0.443137 0.898039
  675.         transparency    0
  676.         }
  677.  
  678.     }
  679.  
  680.     coordinate3        Coordinate3 {
  681.         point    [ 313.414 64.3833 94.6126,
  682.                   319.518 64.3834 187.686,
  683.                   302.734 64.3834 100.716,
  684.                   292.053 64.3834 161.747,
  685.                   215.764 64.3834 205.995,
  686.                   240.176 64.3833 169.376,
  687.                   243.228 64.3833 178.531,
  688.                   227.97 64.3833 178.531,
  689.                   163.887 64.3833 164.799,
  690.                   215.764 64.3833 262.45,
  691.                   147.103 64.3833 257.872,
  692.                   148.629 64.3833 215.15,
  693.                   93.7003 64.3834 109.871,
  694.                   163.887 64.3833 126.654,
  695.                   -90.9206 64.3834 64.0968,
  696.                   -135.169 64.3834 181.583,
  697.                   -90.9206 -2.54614 64.0968,
  698.                   -135.169 -2.54614 181.583,
  699.                   31.1428 64.3835 21.3746,
  700.                   31.1428 -2.54614 21.3746,
  701.                   84.5456 64.3835 59.5194,
  702.                   84.5456 -2.54614 59.5194,
  703.                   11.3075 64.3834 132.757,
  704.                   11.3075 -2.54614 132.757,
  705.                   58.6071 64.3834 141.912,
  706.                   58.6071 -2.54616 141.912,
  707.                   93.7003 -2.54615 109.871,
  708.                   163.887 -2.54615 126.654,
  709.                   163.887 -2.54616 164.799,
  710.                   227.97 -2.54616 178.531,
  711.                   243.228 -2.54616 178.531,
  712.                   240.176 -2.54616 169.376,
  713.                   292.053 -2.54617 161.747,
  714.                   302.734 -2.54616 100.716,
  715.                   313.414 -2.54617 94.6126,
  716.                   319.518 -2.54617 187.686,
  717.                   215.764 -2.54618 205.995,
  718.                   215.764 -2.54616 262.45,
  719.                   147.103 -2.54616 257.872,
  720.                   148.629 -2.54616 215.15,
  721.                   -74.1369 64.3834 221.253,
  722.                   -48.1984 64.3835 189.212,
  723.                   -74.1369 -2.54614 221.253,
  724.                   -48.1984 -2.54614 189.212,
  725.                   44.875 64.3834 94.6319,
  726.                   23.5139 64.3835 117.519,
  727.                   31.1428 64.3834 38.1776,
  728.                   70.8134 64.3834 68.6934,
  729.                   50.9781 64.3834 87.003,
  730.                   -7.00199 64.3834 51.9097,
  731.                   -77.1884 64.3834 88.5287,
  732.                   -28.3631 64.3834 71.745,
  733.                   -84.8174 64.3834 76.3223,
  734.                   5.20435 64.3834 48.8581,
  735.                   -84.8174 64.3835 114.467,
  736.                   -26.8373 64.3834 163.293,
  737.                   -109.23 64.3834 170.921,
  738.                   -98.5495 64.3834 137.354,
  739.                   -48.1984 64.3833 184.654,
  740.                   -63.4563 64.3835 204.489,
  741.                   -77.8241 64.3834 218.857,
  742.                   -91.3038 64.3834 210.095,
  743.                   -124.488 64.3834 184.654,
  744.                   -77.8241 -2.54614 218.857,
  745.                   -91.3038 -2.54614 210.095,
  746.                   44.875 -2.54614 94.6319,
  747.                   23.5139 -2.54616 117.519,
  748.                   5.20435 -2.54614 48.8581,
  749.                   31.1428 -2.54614 38.1776,
  750.                   70.8134 -2.54616 68.6934,
  751.                   50.9781 -2.54614 87.003,
  752.                   -7.00199 -2.54614 51.9097,
  753.                   -28.3631 -2.54614 71.745,
  754.                   -84.8174 -2.54619 76.3224,
  755.                   -84.8174 -2.54614 114.467,
  756.                   -77.1884 -2.54614 88.5287,
  757.                   -109.23 -2.54614 170.921,
  758.                   -48.1984 -2.54614 184.654,
  759.                   -98.5495 -2.54614 137.354,
  760.                   -124.488 -2.54614 184.654,
  761.                   -63.4563 -2.54615 204.489,
  762.                   -26.8373 -2.5462 163.293,
  763.                   43.53 64.3834 181.033,
  764.                   41.139 64.3834 200.985,
  765.                   116.55 64.3834 210.923,
  766.                   104.053 64.3834 131.933,
  767.                   144.731 64.3834 152.014,
  768.                   41.139 -2.54616 200.985,
  769.                   116.55 -2.54616 210.923,
  770.                   43.53 -2.54616 181.033,
  771.                   104.053 -2.54616 131.933,
  772.                   144.731 -2.54616 152.014 ]
  773.     }
  774.  
  775.     shape        IndexedFaceSet {
  776.         coordIndex    [ 1, 0, 2, -1, 1, 2, 3, -1,
  777.                   4, 1, 3, -1, 3, 5, 6, -1,
  778.                   4, 3, 6, -1, 4, 6, 7, -1,
  779.                   4, 7, 8, -1, 10, 9, 4, -1,
  780.                   11, 10, 4, -1, 11, 4, 8, -1,
  781.                   13, 12, 8, -1, 15, 14, 16, -1,
  782.                   15, 16, 17, -1, 14, 18, 19, -1,
  783.                   14, 19, 16, -1, 18, 20, 21, -1,
  784.                   18, 21, 19, -1, 20, 22, 23, -1,
  785.                   20, 23, 21, -1, 22, 24, 25, -1,
  786.                   22, 25, 23, -1, 24, 12, 26, -1,
  787.                   24, 26, 25, -1, 12, 13, 27, -1,
  788.                   12, 27, 26, -1, 13, 8, 28, -1,
  789.                   13, 28, 27, -1, 8, 7, 29, -1,
  790.                   8, 29, 28, -1, 7, 6, 30, -1,
  791.                   7, 30, 29, -1, 6, 5, 31, -1,
  792.                   6, 31, 30, -1, 5, 3, 32, -1,
  793.                   5, 32, 31, -1, 3, 2, 33, -1,
  794.                   3, 33, 32, -1, 2, 0, 34, -1,
  795.                   2, 34, 33, -1, 0, 1, 35, -1,
  796.                   0, 35, 34, -1, 1, 4, 36, -1,
  797.                   1, 36, 35, -1, 4, 9, 37, -1,
  798.                   4, 37, 36, -1, 9, 10, 38, -1,
  799.                   9, 38, 37, -1, 10, 11, 39, -1,
  800.                   10, 39, 38, -1, 41, 40, 42, -1,
  801.                   41, 42, 43, -1, 33, 34, 35, -1,
  802.                   32, 33, 35, -1, 32, 35, 36, -1,
  803.                   30, 31, 32, -1, 30, 32, 36, -1,
  804.                   29, 30, 36, -1, 28, 29, 36, -1,
  805.                   36, 37, 38, -1, 36, 38, 39, -1,
  806.                   28, 36, 39, -1, 28, 26, 27, -1,
  807.                   22, 20, 44, -1, 22, 44, 45, -1,
  808.                   46, 18, 14, -1, 20, 18, 46, -1,
  809.                   44, 20, 47, -1, 20, 46, 47, -1,
  810.                   44, 47, 48, -1, 48, 49, 44, -1,
  811.                   46, 14, 49, -1, 45, 50, 22, -1,
  812.                   45, 51, 50, -1, 14, 52, 49, -1,
  813.                   46, 49, 53, -1, 49, 48, 53, -1,
  814.                   22, 50, 54, -1, 22, 54, 55, -1,
  815.                   57, 56, 58, -1, 58, 56, 41, -1,
  816.                   15, 52, 14, -1, 40, 41, 59, -1,
  817.                   41, 56, 59, -1, 60, 40, 59, -1,
  818.                   15, 61, 62, -1, 61, 15, 17, -1,
  819.                   52, 15, 62, -1, 41, 22, 55, -1,
  820.                   58, 41, 55, -1, 63, 40, 60, -1,
  821.                   40, 63, 42, -1, 17, 64, 61, -1,
  822.                   21, 23, 65, -1, 66, 65, 23, -1,
  823.                   67, 19, 68, -1, 19, 67, 16, -1,
  824.                   21, 65, 69, -1, 68, 21, 69, -1,
  825.                   21, 68, 19, -1, 70, 69, 65, -1,
  826.                   71, 70, 65, -1, 16, 67, 71, -1,
  827.                   72, 66, 23, -1, 71, 73, 16, -1,
  828.                   70, 71, 67, -1, 72, 74, 75, -1,
  829.                   74, 72, 23, -1, 77, 76, 78, -1,
  830.                   76, 77, 43, -1, 17, 16, 79, -1,
  831.                   73, 79, 16, -1, 43, 42, 80, -1,
  832.                   76, 43, 80, -1, 42, 63, 80, -1,
  833.                   79, 64, 17, -1, 81, 74, 23, -1,
  834.                   23, 43, 81, -1, 81, 43, 77, -1,
  835.                   60, 59, 63, -1, 65, 44, 49, -1,
  836.                   49, 71, 65, -1, 66, 45, 44, -1,
  837.                   44, 65, 66, -1, 46, 53, 67, -1,
  838.                   68, 46, 67, -1, 47, 46, 68, -1,
  839.                   69, 47, 68, -1, 70, 48, 47, -1,
  840.                   47, 69, 70, -1, 71, 49, 52, -1,
  841.                   72, 51, 45, -1, 45, 66, 72, -1,
  842.                   52, 73, 71, -1, 67, 53, 48, -1,
  843.                   67, 48, 70, -1, 75, 50, 51, -1,
  844.                   51, 72, 75, -1, 54, 50, 74, -1,
  845.                   50, 75, 74, -1, 55, 54, 74, -1,
  846.                   78, 57, 58, -1, 58, 77, 78, -1,
  847.                   56, 57, 76, -1, 57, 78, 76, -1,
  848.                   52, 79, 73, -1, 59, 56, 76, -1,
  849.                   80, 59, 76, -1, 59, 80, 63, -1,
  850.                   79, 62, 61, -1, 61, 64, 79, -1,
  851.                   62, 79, 52, -1, 55, 74, 81, -1,
  852.                   58, 55, 81, -1, 77, 58, 81, -1,
  853.                   22, 41, 82, -1, 41, 83, 82, -1,
  854.                   83, 41, 43, -1, 84, 11, 8, -1,
  855.                   24, 85, 12, -1, 86, 12, 85, -1,
  856.                   8, 12, 86, -1, 84, 8, 86, -1,
  857.                   43, 87, 83, -1, 11, 84, 39, -1,
  858.                   87, 43, 23, -1, 88, 39, 84, -1,
  859.                   89, 87, 23, -1, 89, 23, 25, -1,
  860.                   91, 39, 88, -1, 39, 91, 28, -1,
  861.                   89, 25, 26, -1, 90, 89, 26, -1,
  862.                   26, 91, 90, -1, 26, 28, 91, -1,
  863.                   89, 83, 87, -1, 83, 89, 82, -1,
  864.                   88, 84, 91, -1, 90, 85, 82, -1,
  865.                   82, 89, 90, -1, 91, 86, 85, -1,
  866.                   85, 90, 91, -1, 86, 91, 84, -1,
  867.                   82, 24, 22, -1, 82, 85, 24, -1 ]
  868.     }
  869.  
  870.     }
  871.     DEF top01 ShapeKit {
  872.     appearance        AppearanceKit {
  873.         material            Material {
  874.         ambientColor    0.317647 0.2 0.0509804
  875.         diffuseColor    0.866667 0.639216 0.0901961
  876.         specularColor    0.945098 0.8 0.45098
  877.         transparency    0
  878.         }
  879.  
  880.     }
  881.  
  882.     coordinate3        Coordinate3 {
  883.         point    [ 24.9198 -5.8016 54.6043,
  884.                   34.6422 -5.8016 49.5317,
  885.                   28.0934 -5.8016 55.9358,
  886.                   35.7741 -5.80159 51.9285,
  887.                   46.9009 -5.80159 72.3582,
  888.                   51.9703 -5.80159 64.4514,
  889.                   55.1438 -5.80159 65.3835,
  890.                   45.4584 -5.80159 69.9614,
  891.                   45.4584 -11.7525 69.9614,
  892.                   28.0934 -11.7525 55.9358,
  893.                   35.7741 -11.7525 51.9285,
  894.                   51.9703 -11.7525 64.4514,
  895.                   34.6422 0.675987 49.5317,
  896.                   24.9198 0.675989 54.6043,
  897.                   55.1438 0.67599 65.3835,
  898.                   46.9009 0.675992 72.3582,
  899.                   30.8189 25.2384 41.4352,
  900.                   14.1994 25.2384 50.1062,
  901.                   51.7739 25.2384 80.4548,
  902.                   65.8643 25.2384 68.5322,
  903.                   30.8189 10.8485 41.4352,
  904.                   14.1994 10.8485 50.1062,
  905.                   65.8643 10.8485 68.5322,
  906.                   51.7739 10.8485 80.4548,
  907.                   19.6242 10.8485 52.3823,
  908.                   32.7536 10.8485 45.5322,
  909.                   60.4395 10.8485 66.9389,
  910.                   49.308 10.8485 76.3578,
  911.                   32.7536 0.675987 45.5322,
  912.                   19.6242 0.675989 52.3823,
  913.                   60.4395 0.675992 66.9388,
  914.                   49.308 0.675991 76.3578 ]
  915.     }
  916.  
  917.     shape        IndexedFaceSet {
  918.         coordIndex    [ 0, 1, 2, -1, 2, 1, 3, -1,
  919.                   4, 0, 2, -1, 1, 5, 3, -1,
  920.                   5, 1, 6, -1, 5, 4, 7, -1,
  921.                   4, 5, 6, -1, 7, 4, 2, -1,
  922.                   8, 9, 10, -1, 8, 10, 11, -1,
  923.                   2, 10, 9, -1, 3, 10, 2, -1,
  924.                   10, 3, 11, -1, 11, 3, 5, -1,
  925.                   7, 8, 5, -1, 8, 7, 9, -1,
  926.                   2, 9, 7, -1, 11, 5, 8, -1,
  927.                   1, 12, 6, -1, 1, 13, 12, -1,
  928.                   13, 1, 0, -1, 6, 14, 4, -1,
  929.                   12, 14, 6, -1, 4, 15, 0, -1,
  930.                   15, 4, 14, -1, 13, 0, 15, -1,
  931.                   16, 17, 18, -1, 19, 16, 18, -1,
  932.                   17, 16, 20, -1, 17, 20, 21, -1,
  933.                   16, 19, 22, -1, 16, 22, 20, -1,
  934.                   19, 18, 23, -1, 19, 23, 22, -1,
  935.                   18, 17, 21, -1, 18, 21, 23, -1,
  936.                   21, 20, 24, -1, 24, 20, 25, -1,
  937.                   23, 21, 24, -1, 20, 26, 25, -1,
  938.                   26, 20, 22, -1, 26, 23, 27, -1,
  939.                   23, 26, 22, -1, 27, 23, 24, -1,
  940.                   24, 28, 29, -1, 25, 28, 24, -1,
  941.                   28, 25, 30, -1, 30, 25, 26, -1,
  942.                   27, 31, 26, -1, 31, 27, 29, -1,
  943.                   24, 29, 27, -1, 30, 26, 31, -1,
  944.                   29, 28, 12, -1, 29, 12, 13, -1,
  945.                   31, 29, 13, -1, 28, 30, 14, -1,
  946.                   30, 31, 14, -1, 28, 14, 12, -1,
  947.                   14, 31, 15, -1, 15, 31, 13, -1 ]
  948.     }
  949.  
  950.     }
  951.     DEF top02 ShapeKit {
  952.     appearance        AppearanceKit {
  953.         material            Material {
  954.         ambientColor    0.317647 0.2 0.0509804
  955.         diffuseColor    0.866667 0.639216 0.0901961
  956.         specularColor    0.945098 0.8 0.45098
  957.         transparency    0
  958.         }
  959.  
  960.     }
  961.  
  962.     coordinate3        Coordinate3 {
  963.         point    [ -11.7602 -13.955 76.3307,
  964.                   0.125439 -13.955 70.1295,
  965.                   -7.88057 -13.955 77.9585,
  966.                   1.50908 -13.955 73.0596,
  967.                   15.1117 -13.955 98.0349,
  968.                   21.309 -13.955 88.3688,
  969.                   25.1886 -13.955 89.5083,
  970.                   13.3482 -13.955 95.1049,
  971.                   13.3482 -19.9059 95.1049,
  972.                   -7.88057 -19.9059 77.9585,
  973.                   1.50908 -19.906 73.0596,
  974.                   21.309 -19.9059 88.3688,
  975.                   0.125439 -7.47741 70.1295,
  976.                   -11.7602 -7.47741 76.3307,
  977.                   25.1886 -7.47741 89.5083,
  978.                   15.1117 -7.47741 98.0349,
  979.                   -4.54865 17.085 60.2315,
  980.                   -24.866 17.085 70.8318,
  981.                   21.0689 17.085 107.933,
  982.                   38.2944 17.085 93.3575,
  983.                   -4.54865 2.69514 60.2315,
  984.                   -24.866 2.69514 70.8318,
  985.                   38.2944 2.69514 93.3575,
  986.                   21.0689 2.69515 107.933,
  987.                   -18.2341 2.69514 73.6144,
  988.                   -2.18345 2.69513 65.2401,
  989.                   31.6626 2.69514 91.4097,
  990.                   18.0544 2.69514 102.924,
  991.                   -2.18345 -7.47741 65.2401,
  992.                   -18.2341 -7.47741 73.6144,
  993.                   31.6626 -7.47741 91.4097,
  994.                   18.0544 -7.47741 102.924 ]
  995.     }
  996.  
  997.     shape        IndexedFaceSet {
  998.         coordIndex    [ 0, 1, 2, -1, 2, 1, 3, -1,
  999.                   4, 0, 2, -1, 1, 5, 3, -1,
  1000.                   5, 1, 6, -1, 5, 4, 7, -1,
  1001.                   4, 5, 6, -1, 7, 4, 2, -1,
  1002.                   8, 9, 10, -1, 8, 10, 11, -1,
  1003.                   2, 10, 9, -1, 3, 10, 2, -1,
  1004.                   10, 3, 11, -1, 11, 3, 5, -1,
  1005.                   7, 8, 5, -1, 8, 7, 9, -1,
  1006.                   2, 9, 7, -1, 11, 5, 8, -1,
  1007.                   1, 12, 6, -1, 1, 13, 12, -1,
  1008.                   13, 1, 0, -1, 6, 14, 4, -1,
  1009.                   12, 14, 6, -1, 4, 15, 0, -1,
  1010.                   15, 4, 14, -1, 13, 0, 15, -1,
  1011.                   16, 17, 18, -1, 19, 16, 18, -1,
  1012.                   17, 16, 20, -1, 17, 20, 21, -1,
  1013.                   16, 19, 22, -1, 16, 22, 20, -1,
  1014.                   19, 18, 23, -1, 19, 23, 22, -1,
  1015.                   18, 17, 21, -1, 18, 21, 23, -1,
  1016.                   21, 20, 24, -1, 24, 20, 25, -1,
  1017.                   23, 21, 24, -1, 20, 26, 25, -1,
  1018.                   26, 20, 22, -1, 26, 23, 27, -1,
  1019.                   23, 26, 22, -1, 27, 23, 24, -1,
  1020.                   24, 28, 29, -1, 25, 28, 24, -1,
  1021.                   28, 25, 30, -1, 30, 25, 26, -1,
  1022.                   27, 31, 26, -1, 31, 27, 29, -1,
  1023.                   24, 29, 27, -1, 30, 26, 31, -1,
  1024.                   29, 28, 12, -1, 29, 12, 13, -1,
  1025.                   31, 29, 13, -1, 28, 30, 14, -1,
  1026.                   30, 31, 14, -1, 28, 14, 12, -1,
  1027.                   14, 31, 15, -1, 15, 31, 13, -1 ]
  1028.     }
  1029.  
  1030.     }
  1031.     DEF top03 ShapeKit {
  1032.     appearance        AppearanceKit {
  1033.         material            Material {
  1034.         ambientColor    0.317647 0.2 0.0509804
  1035.         diffuseColor    0.866667 0.639216 0.0901961
  1036.         specularColor    0.945098 0.8 0.45098
  1037.         transparency    0
  1038.         }
  1039.  
  1040.     }
  1041.  
  1042.     coordinate3        Coordinate3 {
  1043.         point    [ -84.3913 -22.1084 140.878,
  1044.                   -72.1974 -22.1084 135.308,
  1045.                   -80.6022 -22.1084 142.707,
  1046.                   -70.969 -22.1084 138.306,
  1047.                   -58.6921 -22.1084 163.959,
  1048.                   -51.9974 -22.1084 154.631,
  1049.                   -48.1827 -22.1084 155.972,
  1050.                   -60.2998 -22.1084 160.941,
  1051.                   -60.2998 -28.0594 160.941,
  1052.                   -80.6022 -28.0593 142.707,
  1053.                   -70.969 -28.0593 138.306,
  1054.                   -51.9974 -28.0593 154.631,
  1055.                   -72.1974 -15.6308 135.308,
  1056.                   -84.3913 -15.6308 140.878,
  1057.                   -48.1827 -15.6308 155.972,
  1058.                   -58.6921 -15.6308 163.959,
  1059.                   -76.347 8.93158 125.179,
  1060.                   -97.1913 8.93159 134.701,
  1061.                   -53.2611 8.93159 174.155,
  1062.                   -35.2964 8.93159 160.501,
  1063.                   -76.347 -5.45827 125.179,
  1064.                   -97.1913 -5.45826 134.701,
  1065.                   -35.2964 -5.45827 160.501,
  1066.                   -53.2611 -5.45825 174.155,
  1067.                   -90.7142 -5.45826 137.827,
  1068.                   -74.2472 -5.45827 130.304,
  1069.                   -41.8172 -5.45827 158.209,
  1070.                   -56.0093 -5.45826 168.996,
  1071.                   -74.2472 -15.6308 130.304,
  1072.                   -90.7142 -15.6308 137.827,
  1073.                   -41.8172 -15.6308 158.209,
  1074.                   -56.0093 -15.6308 168.996 ]
  1075.     }
  1076.  
  1077.     shape        IndexedFaceSet {
  1078.         coordIndex    [ 0, 1, 2, -1, 2, 1, 3, -1,
  1079.                   4, 0, 2, -1, 1, 5, 3, -1,
  1080.                   5, 1, 6, -1, 5, 4, 7, -1,
  1081.                   4, 5, 6, -1, 7, 4, 2, -1,
  1082.                   8, 9, 10, -1, 8, 10, 11, -1,
  1083.                   2, 10, 9, -1, 3, 10, 2, -1,
  1084.                   10, 3, 11, -1, 11, 3, 5, -1,
  1085.                   7, 8, 5, -1, 8, 7, 9, -1,
  1086.                   2, 9, 7, -1, 11, 5, 8, -1,
  1087.                   1, 12, 6, -1, 1, 13, 12, -1,
  1088.                   13, 1, 0, -1, 6, 14, 4, -1,
  1089.                   12, 14, 6, -1, 4, 15, 0, -1,
  1090.                   15, 4, 14, -1, 13, 0, 15, -1,
  1091.                   16, 17, 18, -1, 19, 16, 18, -1,
  1092.                   17, 16, 20, -1, 17, 20, 21, -1,
  1093.                   16, 19, 22, -1, 16, 22, 20, -1,
  1094.                   19, 18, 23, -1, 19, 23, 22, -1,
  1095.                   18, 17, 21, -1, 18, 21, 23, -1,
  1096.                   21, 20, 24, -1, 24, 20, 25, -1,
  1097.                   23, 21, 24, -1, 20, 26, 25, -1,
  1098.                   26, 20, 22, -1, 26, 23, 27, -1,
  1099.                   23, 26, 22, -1, 27, 23, 24, -1,
  1100.                   24, 28, 29, -1, 25, 28, 24, -1,
  1101.                   28, 25, 30, -1, 30, 25, 26, -1,
  1102.                   27, 31, 26, -1, 31, 27, 29, -1,
  1103.                   24, 29, 27, -1, 30, 26, 31, -1,
  1104.                   29, 28, 12, -1, 29, 12, 13, -1,
  1105.                   31, 29, 13, -1, 28, 30, 14, -1,
  1106.                   30, 31, 14, -1, 28, 14, 12, -1,
  1107.                   14, 31, 15, -1, 15, 31, 13, -1 ]
  1108.     }
  1109.  
  1110.     }
  1111.     DEF top04 ShapeKit {
  1112.     appearance        AppearanceKit {
  1113.         material            Material {
  1114.         ambientColor    0.317647 0.2 0.0509804
  1115.         diffuseColor    0.866667 0.639216 0.0901961
  1116.         specularColor    0.945098 0.8 0.45098
  1117.         transparency    0
  1118.         }
  1119.  
  1120.     }
  1121.  
  1122.     coordinate3        Coordinate3 {
  1123.         point    [ -109.072 -30.3319 186.601,
  1124.                   -102.203 -30.3319 183.647,
  1125.                   -106.028 -30.3319 188.052,
  1126.                   -100.912 -30.3319 185.719,
  1127.                   -88.2878 -30.3319 203.551,
  1128.                   -82.9032 -30.3319 197.757,
  1129.                   -80.1119 -30.3319 198.885,
  1130.                   -89.9191 -30.3319 201.443,
  1131.                   -89.9191 -36.316 201.443,
  1132.                   -106.028 -36.316 188.052,
  1133.                   -100.912 -36.316 185.719,
  1134.                   -82.9032 -36.316 197.757,
  1135.                   -102.203 -23.8181 183.647,
  1136.                   -109.072 -23.8181 186.601,
  1137.                   -80.1119 -23.8181 198.885,
  1138.                   -88.2878 -23.8181 203.551,
  1139.                   -106.564 0.881444 176.65,
  1140.                   -119.357 0.881443 181.698,
  1141.                   -82.7771 0.881441 210.673,
  1142.                   -69.8522 0.881446 202.697,
  1143.                   -106.564 -13.5887 176.65,
  1144.                   -119.357 -13.5888 181.698,
  1145.                   -69.8522 -13.5887 202.697,
  1146.                   -82.7771 -13.5887 210.673,
  1147.                   -114.153 -13.5888 184.179,
  1148.                   -104.358 -13.5888 180.191,
  1149.                   -75.0439 -13.5887 200.768,
  1150.                   -85.5656 -13.5887 207.069,
  1151.                   -104.358 -23.8181 180.191,
  1152.                   -114.153 -23.8181 184.179,
  1153.                   -75.0439 -23.8181 200.768,
  1154.                   -85.5656 -23.8181 207.069 ]
  1155.     }
  1156.  
  1157.     shape        IndexedFaceSet {
  1158.         coordIndex    [ 0, 1, 2, -1, 2, 1, 3, -1,
  1159.                   4, 0, 2, -1, 1, 5, 3, -1,
  1160.                   5, 1, 6, -1, 5, 4, 7, -1,
  1161.                   4, 5, 6, -1, 7, 4, 2, -1,
  1162.                   8, 9, 10, -1, 8, 10, 11, -1,
  1163.                   2, 10, 9, -1, 3, 10, 2, -1,
  1164.                   10, 3, 11, -1, 11, 3, 5, -1,
  1165.                   7, 8, 5, -1, 8, 7, 9, -1,
  1166.                   2, 9, 7, -1, 11, 5, 8, -1,
  1167.                   1, 12, 6, -1, 1, 13, 12, -1,
  1168.                   13, 1, 0, -1, 6, 14, 4, -1,
  1169.                   12, 14, 6, -1, 4, 15, 0, -1,
  1170.                   15, 4, 14, -1, 13, 0, 15, -1,
  1171.                   16, 17, 18, -1, 19, 16, 18, -1,
  1172.                   17, 16, 20, -1, 17, 20, 21, -1,
  1173.                   16, 19, 22, -1, 16, 22, 20, -1,
  1174.                   19, 18, 23, -1, 19, 23, 22, -1,
  1175.                   18, 17, 21, -1, 18, 21, 23, -1,
  1176.                   21, 20, 24, -1, 24, 20, 25, -1,
  1177.                   23, 21, 24, -1, 20, 26, 25, -1,
  1178.                   26, 20, 22, -1, 26, 23, 27, -1,
  1179.                   23, 26, 22, -1, 27, 23, 24, -1,
  1180.                   24, 28, 29, -1, 25, 28, 24, -1,
  1181.                   28, 25, 30, -1, 30, 25, 26, -1,
  1182.                   27, 31, 26, -1, 31, 27, 29, -1,
  1183.                   24, 29, 27, -1, 30, 26, 31, -1,
  1184.                   29, 28, 12, -1, 29, 12, 13, -1,
  1185.                   31, 29, 13, -1, 28, 30, 14, -1,
  1186.                   30, 31, 14, -1, 28, 14, 12, -1,
  1187.                   14, 31, 15, -1, 15, 31, 13, -1 ]
  1188.     }
  1189.  
  1190.     }
  1191.     DEF wall01 ShapeKit {
  1192.     appearance        AppearanceKit {
  1193.         material            Material {
  1194.         ambientColor    0.215686 0.101961 0.54902
  1195.         diffuseColor    0.215686 0.101961 0.54902
  1196.         specularColor    0.933333 0.109804 0.737255
  1197.         transparency    0
  1198.         }
  1199.  
  1200.     }
  1201.  
  1202.     coordinate3        Coordinate3 {
  1203.         point    [ -88.4769 5.52795 189.795,
  1204.                   -87.351 5.52795 188.206,
  1205.                   -45.54 5.52798 217.822,
  1206.                   -46.6658 5.52798 219.411,
  1207.                   -88.4769 222.541 189.795,
  1208.                   -87.351 222.541 188.206,
  1209.                   -45.54 270.843 217.822,
  1210.                   -46.6658 270.843 219.411 ]
  1211.     }
  1212.  
  1213.     shape        IndexedFaceSet {
  1214.         coordIndex    [ 1, 2, 3, -1, 1, 3, 0, -1,
  1215.                   5, 1, 0, -1, 4, 5, 0, -1,
  1216.                   6, 2, 1, -1, 5, 6, 1, -1,
  1217.                   7, 3, 2, -1, 6, 7, 2, -1,
  1218.                   4, 0, 3, -1, 7, 4, 3, -1,
  1219.                   7, 6, 5, -1, 4, 7, 5, -1 ]
  1220.     }
  1221.  
  1222.     }
  1223.     DEF wall02 ShapeKit {
  1224.     appearance        AppearanceKit {
  1225.         material            Material {
  1226.         ambientColor    0.160784 0.121569 0.286275
  1227.         diffuseColor    0.403922 0.262745 0.866667
  1228.         specularColor    0.666667 0.596078 0.901961
  1229.         transparency    0
  1230.         }
  1231.  
  1232.     }
  1233.  
  1234.     coordinate3        Coordinate3 {
  1235.         point    [ 159.309 -31.2537 212.118,
  1236.                   162.361 -31.2537 212.118,
  1237.                   162.361 -31.2538 247.211,
  1238.                   205.083 -31.2538 247.211,
  1239.                   205.083 -31.2538 219.747,
  1240.                   208.135 -31.2538 219.747,
  1241.                   208.135 -31.2538 250.263,
  1242.                   159.309 -31.2538 250.263,
  1243.                   159.309 -113.41 212.118,
  1244.                   162.361 -113.41 212.118,
  1245.                   162.361 -113.41 247.211,
  1246.                   205.083 -113.41 247.211,
  1247.                   205.083 -113.41 219.747,
  1248.                   208.135 -113.41 219.747,
  1249.                   208.135 -113.41 250.263,
  1250.                   159.309 -113.41 250.263 ]
  1251.     }
  1252.  
  1253.     shape        IndexedFaceSet {
  1254.         coordIndex    [ 6, 5, 4, -1, 6, 4, 3, -1,
  1255.                   7, 6, 3, -1, 7, 3, 2, -1,
  1256.                   0, 7, 2, -1, 0, 2, 1, -1,
  1257.                   0, 1, 9, -1, 0, 9, 8, -1,
  1258.                   1, 2, 10, -1, 1, 10, 9, -1,
  1259.                   2, 3, 11, -1, 2, 11, 10, -1,
  1260.                   3, 4, 12, -1, 3, 12, 11, -1,
  1261.                   4, 5, 13, -1, 4, 13, 12, -1,
  1262.                   5, 6, 14, -1, 5, 14, 13, -1,
  1263.                   6, 7, 15, -1, 6, 15, 14, -1,
  1264.                   7, 0, 8, -1, 7, 8, 15, -1,
  1265.                   12, 13, 14, -1, 11, 12, 14, -1,
  1266.                   11, 14, 15, -1, 10, 11, 15, -1,
  1267.                   10, 15, 8, -1, 9, 10, 8, -1 ]
  1268.     }
  1269.  
  1270.     }
  1271.     DEF wall03 ShapeKit {
  1272.     appearance        AppearanceKit {
  1273.         material            Material {
  1274.         ambientColor    0.129412 0.196078 0.572549
  1275.         diffuseColor    0.129412 0.196078 0.572549
  1276.         specularColor    0.0509804 0.45098 0.92549
  1277.         transparency    0
  1278.         }
  1279.  
  1280.     }
  1281.  
  1282.     coordinate3        Coordinate3 {
  1283.         point    [ 94.0601 -55.6166 124.438,
  1284.                   99.1723 -55.6166 125.524,
  1285.                   98.2668 -55.6166 129.785,
  1286.                   93.1546 -55.6166 128.698,
  1287.                   154.041 -55.6167 137.304,
  1288.                   159.153 -55.6167 138.391,
  1289.                   158.247 -55.6167 142.651,
  1290.                   153.135 -55.6167 141.564,
  1291.                   112.603 -55.6166 127.844,
  1292.                   117.715 -55.6166 128.93,
  1293.                   116.81 -55.6166 133.19,
  1294.                   111.698 -55.6166 132.104,
  1295.                   131.714 -55.6166 132.196,
  1296.                   136.826 -55.6166 133.282,
  1297.                   135.92 -55.6167 137.542,
  1298.                   130.808 -55.6167 136.456,
  1299.                   94.0601 -122.546 124.438,
  1300.                   99.1723 -122.546 125.524,
  1301.                   98.2668 -122.546 129.785,
  1302.                   93.1546 -122.546 128.698,
  1303.                   154.041 -122.546 137.304,
  1304.                   159.153 -122.546 138.391,
  1305.                   158.247 -122.546 142.651,
  1306.                   153.135 -122.546 141.564,
  1307.                   112.603 -122.546 127.844,
  1308.                   117.715 -122.546 128.93,
  1309.                   116.81 -122.546 133.19,
  1310.                   111.698 -122.546 132.104,
  1311.                   131.714 -122.546 132.196,
  1312.                   136.826 -122.546 133.282,
  1313.                   135.92 -122.546 137.542,
  1314.                   130.808 -122.546 136.456 ]
  1315.     }
  1316.  
  1317.     shape        IndexedFaceSet {
  1318.         coordIndex    [ 0, 3, 2, -1, 1, 0, 2, -1,
  1319.                   7, 6, 5, -1, 7, 5, 4, -1,
  1320.                   11, 10, 9, -1, 11, 9, 8, -1,
  1321.                   15, 14, 13, -1, 15, 13, 12, -1,
  1322.                   0, 1, 17, -1, 0, 17, 16, -1,
  1323.                   1, 2, 18, -1, 1, 18, 17, -1,
  1324.                   2, 3, 19, -1, 2, 19, 18, -1,
  1325.                   3, 0, 16, -1, 3, 16, 19, -1,
  1326.                   4, 5, 21, -1, 4, 21, 20, -1,
  1327.                   5, 6, 22, -1, 5, 22, 21, -1,
  1328.                   6, 7, 23, -1, 6, 23, 22, -1,
  1329.                   7, 4, 20, -1, 7, 20, 23, -1,
  1330.                   8, 9, 25, -1, 8, 25, 24, -1,
  1331.                   9, 10, 26, -1, 9, 26, 25, -1,
  1332.                   10, 11, 27, -1, 10, 27, 26, -1,
  1333.                   11, 8, 24, -1, 11, 24, 27, -1,
  1334.                   12, 13, 29, -1, 12, 29, 28, -1,
  1335.                   13, 14, 30, -1, 13, 30, 29, -1,
  1336.                   14, 15, 31, -1, 14, 31, 30, -1,
  1337.                   15, 12, 28, -1, 15, 28, 31, -1,
  1338.                   18, 19, 16, -1, 18, 16, 17, -1,
  1339.                   21, 22, 23, -1, 20, 21, 23, -1,
  1340.                   25, 26, 27, -1, 24, 25, 27, -1,
  1341.                   29, 30, 31, -1, 28, 29, 31, -1 ]
  1342.     }
  1343.  
  1344.     }
  1345.     DEF wall04 ShapeKit {
  1346.     appearance        AppearanceKit {
  1347.         material            Material {
  1348.         ambientColor    0.129412 0.196078 0.572549
  1349.         diffuseColor    0.129412 0.196078 0.572549
  1350.         specularColor    0.0509804 0.45098 0.92549
  1351.         transparency    0
  1352.         }
  1353.  
  1354.     }
  1355.  
  1356.     coordinate3        Coordinate3 {
  1357.         point    [ 94.0601 26.8435 124.438,
  1358.                   99.1723 26.8435 125.524,
  1359.                   98.2668 26.8435 129.785,
  1360.                   93.1546 26.8435 128.698,
  1361.                   154.041 26.8435 137.304,
  1362.                   159.153 26.8435 138.391,
  1363.                   158.247 26.8435 142.651,
  1364.                   153.135 26.8435 141.564,
  1365.                   112.603 26.8435 127.844,
  1366.                   117.715 26.8435 128.93,
  1367.                   116.81 26.8435 133.19,
  1368.                   111.698 26.8435 132.104,
  1369.                   131.714 26.8435 132.196,
  1370.                   136.826 26.8435 133.282,
  1371.                   135.92 26.8435 137.542,
  1372.                   130.808 26.8435 136.456,
  1373.                   94.0601 -40.0861 124.438,
  1374.                   99.1723 -40.0861 125.524,
  1375.                   98.2668 -40.0861 129.785,
  1376.                   93.1546 -40.0861 128.698,
  1377.                   154.041 -40.0861 137.304,
  1378.                   159.153 -40.0861 138.391,
  1379.                   158.247 -40.0861 142.651,
  1380.                   153.135 -40.0861 141.564,
  1381.                   112.603 -40.0861 127.844,
  1382.                   117.715 -40.0861 128.93,
  1383.                   116.81 -40.0861 133.19,
  1384.                   111.698 -40.0861 132.104,
  1385.                   131.714 -40.0861 132.196,
  1386.                   136.826 -40.0861 133.282,
  1387.                   135.92 -40.0861 137.542,
  1388.                   130.808 -40.0861 136.456 ]
  1389.     }
  1390.  
  1391.     shape        IndexedFaceSet {
  1392.         coordIndex    [ 0, 3, 2, -1, 1, 0, 2, -1,
  1393.                   7, 6, 5, -1, 7, 5, 4, -1,
  1394.                   11, 10, 9, -1, 11, 9, 8, -1,
  1395.                   15, 14, 13, -1, 15, 13, 12, -1,
  1396.                   0, 1, 17, -1, 0, 17, 16, -1,
  1397.                   1, 2, 18, -1, 1, 18, 17, -1,
  1398.                   2, 3, 19, -1, 2, 19, 18, -1,
  1399.                   3, 0, 16, -1, 3, 16, 19, -1,
  1400.                   4, 5, 21, -1, 4, 21, 20, -1,
  1401.                   5, 6, 22, -1, 5, 22, 21, -1,
  1402.                   6, 7, 23, -1, 6, 23, 22, -1,
  1403.                   7, 4, 20, -1, 7, 20, 23, -1,
  1404.                   8, 9, 25, -1, 8, 25, 24, -1,
  1405.                   9, 10, 26, -1, 9, 26, 25, -1,
  1406.                   10, 11, 27, -1, 10, 27, 26, -1,
  1407.                   11, 8, 24, -1, 11, 24, 27, -1,
  1408.                   12, 13, 29, -1, 12, 29, 28, -1,
  1409.                   13, 14, 30, -1, 13, 30, 29, -1,
  1410.                   14, 15, 31, -1, 14, 31, 30, -1,
  1411.                   15, 12, 28, -1, 15, 28, 31, -1,
  1412.                   18, 19, 16, -1, 18, 16, 17, -1,
  1413.                   21, 22, 23, -1, 20, 21, 23, -1,
  1414.                   25, 26, 27, -1, 24, 25, 27, -1,
  1415.                   29, 30, 31, -1, 28, 29, 31, -1 ]
  1416.     }
  1417.  
  1418.     }
  1419.     DEF plat03 ShapeKit {
  1420.     appearance        AppearanceKit {
  1421.         material            Material {
  1422.         ambientColor    0.14902 0.211765 0.584314
  1423.         diffuseColor    0.14902 0.211765 0.584314
  1424.         specularColor    0.109804 0.505882 0.933333
  1425.         transparency    0
  1426.         }
  1427.  
  1428.     }
  1429.  
  1430.     coordinate3        Coordinate3 {
  1431.         point    [ 69.1969 77.0674 306.559,
  1432.                   97.5844 77.0674 176.729,
  1433.                   152.467 77.0674 140.332,
  1434.                   185.056 77.0674 160.517,
  1435.                   90.797 77.0674 316.98,
  1436.                   69.1969 28.0144 306.559,
  1437.                   97.5844 28.0144 176.729,
  1438.                   152.467 28.0144 140.332,
  1439.                   185.056 28.0143 160.517,
  1440.                   90.797 28.0144 316.98 ]
  1441.     }
  1442.  
  1443.     shape        IndexedFaceSet {
  1444.         coordIndex    [ 4, 3, 2, -1, 4, 2, 1, -1,
  1445.                   4, 1, 0, -1, 0, 1, 6, -1,
  1446.                   0, 6, 5, -1, 1, 2, 7, -1,
  1447.                   1, 7, 6, -1, 2, 3, 8, -1,
  1448.                   2, 8, 7, -1, 3, 4, 9, -1,
  1449.                   3, 9, 8, -1, 4, 0, 5, -1,
  1450.                   4, 5, 9, -1, 7, 8, 9, -1,
  1451.                   6, 7, 9, -1, 5, 6, 9, -1 ]
  1452.     }
  1453.  
  1454.     }
  1455.     DEF dat ShapeKit {
  1456.     appearance        AppearanceKit {
  1457.         material            Material {
  1458.         ambientColor    0.0509804 0.00784314 0.133333
  1459.         diffuseColor    0.0980392 0.0352941 0.215686
  1460.         specularColor    0.235294 0.0941176 0.352941
  1461.         transparency    0
  1462.         }
  1463.  
  1464.     }
  1465.  
  1466.     coordinate3        Coordinate3 {
  1467.         point    [ 195.391 -53.9996 146.579,
  1468.                   194.49 -53.9996 150.67,
  1469.                   49.6316 -53.9996 118.778,
  1470.                   96.1535 -53.9996 61.7792,
  1471.                   -5.93895 -53.9996 -10.2482,
  1472.                   -71.7978 -53.9996 7.36314,
  1473.                   -72.88 -53.9996 3.31628,
  1474.                   -5.12653 -53.9996 -14.8016,
  1475.                   102.24 -53.9996 60.9467,
  1476.                   57.1828 -53.9996 116.151,
  1477.                   195.391 -56.8006 146.579,
  1478.                   194.49 -56.8006 150.67,
  1479.                   49.6316 -56.8006 118.778,
  1480.                   96.1535 -56.8006 61.7792,
  1481.                   -5.93895 -56.8006 -10.2481,
  1482.                   -71.7978 -56.8006 7.36316,
  1483.                   -72.88 -56.8006 3.3163,
  1484.                   -5.12653 -56.8006 -14.8016,
  1485.                   102.24 -56.8006 60.9467,
  1486.                   57.1828 -56.8006 116.151 ]
  1487.     }
  1488.  
  1489.     shape        IndexedFaceSet {
  1490.         coordIndex    [ 1, 0, 9, -1, 2, 1, 9, -1,
  1491.                   3, 2, 9, -1, 3, 9, 8, -1,
  1492.                   3, 8, 7, -1, 4, 3, 7, -1,
  1493.                   4, 7, 6, -1, 5, 4, 6, -1,
  1494.                   0, 1, 11, -1, 0, 11, 10, -1,
  1495.                   1, 2, 12, -1, 1, 12, 11, -1,
  1496.                   2, 3, 13, -1, 2, 13, 12, -1,
  1497.                   3, 4, 14, -1, 3, 14, 13, -1,
  1498.                   4, 5, 15, -1, 4, 15, 14, -1,
  1499.                   5, 6, 16, -1, 5, 16, 15, -1,
  1500.                   6, 7, 17, -1, 6, 17, 16, -1,
  1501.                   7, 8, 18, -1, 7, 18, 17, -1,
  1502.                   8, 9, 19, -1, 8, 19, 18, -1,
  1503.                   9, 0, 10, -1, 9, 10, 19, -1,
  1504.                   19, 10, 11, -1, 19, 11, 12, -1,
  1505.                   19, 12, 13, -1, 18, 19, 13, -1,
  1506.                   17, 18, 13, -1, 17, 13, 14, -1,
  1507.                   16, 17, 14, -1, 16, 14, 15, -1 ]
  1508.     }
  1509.  
  1510.     }
  1511.     DEF dat01 ShapeKit {
  1512.     appearance        AppearanceKit {
  1513.         material            Material {
  1514.         ambientColor    0.0509804 0.00784314 0.133333
  1515.         diffuseColor    0.0980392 0.0352941 0.215686
  1516.         specularColor    0.235294 0.0941176 0.352941
  1517.         transparency    0
  1518.         }
  1519.  
  1520.     }
  1521.  
  1522.     coordinate3        Coordinate3 {
  1523.         point    [ 195.391 -39.0301 146.579,
  1524.                   194.49 -39.0301 150.67,
  1525.                   49.6316 -39.0301 118.778,
  1526.                   96.1535 -39.0301 61.7792,
  1527.                   -5.93895 -39.0301 -10.2482,
  1528.                   -71.7978 -39.0301 7.36317,
  1529.                   -72.88 -39.0301 3.31629,
  1530.                   -5.12653 -39.0301 -14.8016,
  1531.                   102.24 -39.0301 60.9467,
  1532.                   57.1828 -39.0301 116.151,
  1533.                   195.391 -41.8311 146.579,
  1534.                   194.49 -41.8311 150.67,
  1535.                   49.6316 -41.8311 118.778,
  1536.                   96.1535 -41.8311 61.7792,
  1537.                   -5.93895 -41.8311 -10.2482,
  1538.                   -71.7978 -41.8311 7.36317,
  1539.                   -72.88 -41.8311 3.31628,
  1540.                   -5.12653 -41.8311 -14.8016,
  1541.                   102.24 -41.8311 60.9467,
  1542.                   57.1828 -41.8311 116.151 ]
  1543.     }
  1544.  
  1545.     shape        IndexedFaceSet {
  1546.         coordIndex    [ 1, 0, 9, -1, 2, 1, 9, -1,
  1547.                   3, 2, 9, -1, 3, 9, 8, -1,
  1548.                   3, 8, 7, -1, 4, 3, 7, -1,
  1549.                   4, 7, 6, -1, 5, 4, 6, -1,
  1550.                   0, 1, 11, -1, 0, 11, 10, -1,
  1551.                   1, 2, 12, -1, 1, 12, 11, -1,
  1552.                   2, 3, 13, -1, 2, 13, 12, -1,
  1553.                   3, 4, 14, -1, 3, 14, 13, -1,
  1554.                   4, 5, 15, -1, 4, 15, 14, -1,
  1555.                   5, 6, 16, -1, 5, 16, 15, -1,
  1556.                   6, 7, 17, -1, 6, 17, 16, -1,
  1557.                   7, 8, 18, -1, 7, 18, 17, -1,
  1558.                   8, 9, 19, -1, 8, 19, 18, -1,
  1559.                   9, 0, 10, -1, 9, 10, 19, -1,
  1560.                   19, 10, 11, -1, 19, 11, 12, -1,
  1561.                   19, 12, 13, -1, 18, 19, 13, -1,
  1562.                   17, 18, 13, -1, 17, 13, 14, -1,
  1563.                   16, 17, 14, -1, 16, 14, 15, -1 ]
  1564.     }
  1565.  
  1566.     }
  1567.     DEF floor ShapeKit {
  1568.     appearance        AppearanceKit {
  1569.         material            Material {
  1570.         ambientColor    0.113725 0.14902 0.231373
  1571.         diffuseColor    0.203922 0.247059 0.431373
  1572.         specularColor    0.282353 0.345098 0.807843
  1573.         transparency    0
  1574.         }
  1575.  
  1576.     }
  1577.  
  1578.     coordinate3        Coordinate3 {
  1579.         point    [ 330.761 -138.378 -489.099,
  1580.                   456.429 -138.378 -599.534,
  1581.                   589.712 -138.378 -374.856,
  1582.                   544.015 -138.378 -237.764,
  1583.                   639.218 -138.378 28.8041,
  1584.                   764.885 -138.378 78.3095,
  1585.                   692.531 -138.379 828.508,
  1586.                   547.823 -138.379 851.356,
  1587.                   475.469 -138.378 676.183,
  1588.                   -133.829 -138.378 527.667,
  1589.                   -552.721 -138.379 577.172,
  1590.                   -686.005 -138.378 379.15,
  1591.                   -301.386 -138.378 -66.3987,
  1592.                   -385.164 -138.378 -161.601,
  1593.                   -99.5558 -138.378 -332.966,
  1594.                   -137.637 -138.378 -435.785,
  1595.                   -42.4341 -138.378 -580.494,
  1596.                   128.931 -138.378 -610.959,
  1597.                   330.761 -141.679 -489.099,
  1598.                   456.429 -141.678 -599.534,
  1599.                   589.712 -141.679 -374.856,
  1600.                   544.015 -141.679 -237.764,
  1601.                   639.218 -141.679 28.8041,
  1602.                   764.885 -141.679 78.3095,
  1603.                   692.531 -141.679 828.507,
  1604.                   547.823 -141.679 851.356,
  1605.                   475.469 -141.679 676.183,
  1606.                   -133.829 -141.679 527.667,
  1607.                   -552.721 -141.679 577.172,
  1608.                   -686.005 -141.679 379.15,
  1609.                   -301.386 -141.679 -66.3987,
  1610.                   -385.164 -141.679 -161.601,
  1611.                   -99.5558 -141.679 -332.966,
  1612.                   -137.637 -141.679 -435.786,
  1613.                   -42.4341 -141.679 -580.494,
  1614.                   128.931 -141.679 -610.959 ]
  1615.     }
  1616.  
  1617.     shape        IndexedFaceSet {
  1618.         coordIndex    [ 2, 1, 0, -1, 14, 13, 12, -1,
  1619.                   3, 2, 0, -1, 8, 7, 6, -1,
  1620.                   8, 6, 5, -1, 8, 5, 4, -1,
  1621.                   9, 8, 4, -1, 9, 4, 3, -1,
  1622.                   9, 3, 0, -1, 9, 0, 17, -1,
  1623.                   9, 17, 16, -1, 12, 11, 10, -1,
  1624.                   12, 10, 9, -1, 16, 15, 14, -1,
  1625.                   9, 16, 14, -1, 12, 9, 14, -1,
  1626.                   0, 1, 19, -1, 0, 19, 18, -1,
  1627.                   1, 2, 20, -1, 1, 20, 19, -1,
  1628.                   2, 3, 21, -1, 2, 21, 20, -1,
  1629.                   3, 4, 22, -1, 3, 22, 21, -1,
  1630.                   4, 5, 23, -1, 4, 23, 22, -1,
  1631.                   5, 6, 24, -1, 5, 24, 23, -1,
  1632.                   6, 7, 25, -1, 6, 25, 24, -1,
  1633.                   7, 8, 26, -1, 7, 26, 25, -1,
  1634.                   8, 9, 27, -1, 8, 27, 26, -1,
  1635.                   9, 10, 28, -1, 9, 28, 27, -1,
  1636.                   10, 11, 29, -1, 10, 29, 28, -1,
  1637.                   11, 12, 30, -1, 11, 30, 29, -1,
  1638.                   12, 13, 31, -1, 12, 31, 30, -1,
  1639.                   13, 14, 32, -1, 13, 32, 31, -1,
  1640.                   14, 15, 33, -1, 14, 33, 32, -1,
  1641.                   15, 16, 34, -1, 15, 34, 33, -1,
  1642.                   16, 17, 35, -1, 16, 35, 34, -1,
  1643.                   17, 0, 18, -1, 17, 18, 35, -1,
  1644.                   18, 19, 20, -1, 30, 31, 32, -1,
  1645.                   18, 20, 21, -1, 24, 25, 26, -1,
  1646.                   23, 24, 26, -1, 22, 23, 26, -1,
  1647.                   22, 26, 27, -1, 21, 22, 27, -1,
  1648.                   18, 21, 27, -1, 35, 18, 27, -1,
  1649.                   34, 35, 27, -1, 28, 29, 30, -1,
  1650.                   27, 28, 30, -1, 32, 33, 34, -1,
  1651.                   32, 34, 27, -1, 32, 27, 30, -1 ]
  1652.     }
  1653.  
  1654.     }
  1655.     DEF top ShapeKit {
  1656.     appearance        AppearanceKit {
  1657.         material            Material {
  1658.         ambientColor    0.160784 0.121569 0.286275
  1659.         diffuseColor    0.403922 0.262745 0.866667
  1660.         specularColor    0.666667 0.596078 0.901961
  1661.         transparency    0
  1662.         }
  1663.  
  1664.     }
  1665.  
  1666.     coordinate3        Coordinate3 {
  1667.         point    [ -76.1059 35.2936 132.019,
  1668.                   -74.3306 35.2936 129.913,
  1669.                   -21.6312 35.2936 174.337,
  1670.                   -23.4066 35.2937 176.443,
  1671.                   -76.1059 170.181 132.019,
  1672.                   -74.3306 170.181 129.913,
  1673.                   -21.6312 207.578 174.337,
  1674.                   -23.4066 207.578 176.443 ]
  1675.     }
  1676.  
  1677.     shape        IndexedFaceSet {
  1678.         coordIndex    [ 1, 2, 3, -1, 1, 3, 0, -1,
  1679.                   5, 1, 0, -1, 4, 5, 0, -1,
  1680.                   6, 2, 1, -1, 5, 6, 1, -1,
  1681.                   7, 3, 2, -1, 6, 7, 2, -1,
  1682.                   4, 0, 3, -1, 7, 4, 3, -1,
  1683.                   7, 6, 5, -1, 4, 7, 5, -1 ]
  1684.     }
  1685.  
  1686.     }
  1687.     DEF wall05 ShapeKit {
  1688.     appearance        AppearanceKit {
  1689.         material            Material {
  1690.         ambientColor    0.462745 0.0313726 0.898039
  1691.         diffuseColor    0.462745 0.0313726 0.898039
  1692.         specularColor    0.898039 0.443137 0.886275
  1693.         transparency    0
  1694.         }
  1695.  
  1696.     }
  1697.  
  1698.     coordinate3        Coordinate3 {
  1699.         point    [ -16.1659 39.2477 52.5964,
  1700.                   -14.4268 39.2477 50.4602,
  1701.                   34.7883 39.2477 90.5291,
  1702.                   33.0491 39.2477 92.6652,
  1703.                   -16.1659 114.887 52.5963,
  1704.                   -14.4268 114.887 50.4602,
  1705.                   34.7883 139.027 90.5291,
  1706.                   33.0491 139.027 92.6652 ]
  1707.     }
  1708.  
  1709.     shape        IndexedFaceSet {
  1710.         coordIndex    [ 2, 3, 0, -1, 1, 2, 0, -1,
  1711.                   5, 1, 0, -1, 4, 5, 0, -1,
  1712.                   6, 2, 1, -1, 5, 6, 1, -1,
  1713.                   7, 3, 2, -1, 6, 7, 2, -1,
  1714.                   4, 0, 3, -1, 7, 4, 3, -1,
  1715.                   4, 7, 6, -1, 4, 6, 5, -1 ]
  1716.     }
  1717.  
  1718.     }
  1719.     DEF cut ShapeKit {
  1720.     appearance        AppearanceKit {
  1721.         material            Material {
  1722.         ambientColor    0.266667 0.0196078 0.462745
  1723.         diffuseColor    0.239216 0.054902 0.356863
  1724.         specularColor    0.588235 0.431373 0.670588
  1725.         transparency    0
  1726.         }
  1727.  
  1728.     }
  1729.  
  1730.     coordinate3        Coordinate3 {
  1731.         point    [ -119.911 -110.481 105.312,
  1732.                   -150.426 -110.481 96.1576,
  1733.                   -115.333 -110.481 36.6517,
  1734.                   -0.898819 -110.481 0.0327243,
  1735.                   104.381 -110.481 74.7965,
  1736.                   84.5456 -110.481 106.838,
  1737.                   226.444 -110.481 144.983,
  1738.                   270.692 -110.481 137.354,
  1739.                   281.373 -110.481 163.293,
  1740.                   227.97 -110.481 169.396,
  1741.                   34.1944 -110.481 134.302,
  1742.                   73.865 -110.481 87.0029,
  1743.                   5.20435 -110.481 35.1259,
  1744.                   -93.9722 -110.481 68.6934,
  1745.                   -119.911 -119.667 105.312,
  1746.                   -150.426 -119.667 96.1576,
  1747.                   -115.333 -119.667 36.6517,
  1748.                   -0.898819 -119.667 0.0327103,
  1749.                   104.381 -119.667 74.7965,
  1750.                   84.5456 -119.667 106.838,
  1751.                   226.444 -119.667 144.983,
  1752.                   270.692 -119.667 137.354,
  1753.                   281.373 -119.667 163.293,
  1754.                   227.97 -119.667 169.396,
  1755.                   34.1944 -119.667 134.302,
  1756.                   73.865 -119.667 87.0029,
  1757.                   5.20435 -119.667 35.126,
  1758.                   -93.9722 -119.667 68.6934 ]
  1759.     }
  1760.  
  1761.     shape        IndexedFaceSet {
  1762.         coordIndex    [ 9, 8, 7, -1, 9, 7, 6, -1,
  1763.                   10, 9, 6, -1, 10, 6, 5, -1,
  1764.                   11, 10, 5, -1, 11, 5, 4, -1,
  1765.                   11, 4, 3, -1, 12, 11, 3, -1,
  1766.                   2, 1, 0, -1, 2, 0, 13, -1,
  1767.                   3, 2, 13, -1, 3, 13, 12, -1,
  1768.                   0, 1, 15, -1, 0, 15, 14, -1,
  1769.                   1, 2, 16, -1, 1, 16, 15, -1,
  1770.                   2, 3, 17, -1, 2, 17, 16, -1,
  1771.                   3, 4, 18, -1, 3, 18, 17, -1,
  1772.                   4, 5, 19, -1, 4, 19, 18, -1,
  1773.                   5, 6, 20, -1, 5, 20, 19, -1,
  1774.                   6, 7, 21, -1, 6, 21, 20, -1,
  1775.                   7, 8, 22, -1, 7, 22, 21, -1,
  1776.                   8, 9, 23, -1, 8, 23, 22, -1,
  1777.                   9, 10, 24, -1, 9, 24, 23, -1,
  1778.                   10, 11, 25, -1, 10, 25, 24, -1,
  1779.                   11, 12, 26, -1, 11, 26, 25, -1,
  1780.                   12, 13, 27, -1, 12, 27, 26, -1,
  1781.                   13, 0, 14, -1, 13, 14, 27, -1,
  1782.                   21, 22, 23, -1, 20, 21, 23, -1,
  1783.                   20, 23, 24, -1, 19, 20, 24, -1,
  1784.                   19, 24, 25, -1, 18, 19, 25, -1,
  1785.                   17, 18, 25, -1, 17, 25, 26, -1,
  1786.                   14, 15, 16, -1, 27, 14, 16, -1,
  1787.                   27, 16, 17, -1, 26, 27, 17, -1 ]
  1788.     }
  1789.  
  1790.     }
  1791.     DEF cut01 ShapeKit {
  1792.     appearance        AppearanceKit {
  1793.         material            Material {
  1794.         ambientColor    0.266667 0.0196078 0.462745
  1795.         diffuseColor    0.239216 0.054902 0.356863
  1796.         specularColor    0.588235 0.431373 0.670588
  1797.         transparency    0
  1798.         }
  1799.  
  1800.     }
  1801.  
  1802.     coordinate3        Coordinate3 {
  1803.         point    [ -119.911 -15.8273 105.312,
  1804.                   -150.426 -15.8273 96.1576,
  1805.                   -115.333 -15.8273 36.6517,
  1806.                   -0.898819 -15.8273 0.032717,
  1807.                   104.381 -15.8273 74.7965,
  1808.                   84.5456 -15.8273 106.838,
  1809.                   226.444 -15.8273 144.983,
  1810.                   270.692 -15.8273 137.354,
  1811.                   281.373 -15.8273 163.293,
  1812.                   227.97 -15.8273 169.396,
  1813.                   34.1944 -15.8273 134.302,
  1814.                   73.865 -15.8273 87.0029,
  1815.                   5.20435 -15.8273 35.1259,
  1816.                   -93.9722 -15.8273 68.6934,
  1817.                   -119.911 -20.3514 105.312,
  1818.                   -150.426 -20.3514 96.1576,
  1819.                   -115.333 -20.3514 36.6517,
  1820.                   -0.898819 -20.3515 0.0327176,
  1821.                   104.381 -20.3514 74.7965,
  1822.                   84.5456 -20.3514 106.838,
  1823.                   226.444 -20.3514 144.983,
  1824.                   270.692 -20.3514 137.354,
  1825.                   281.373 -20.3514 163.293,
  1826.                   227.97 -20.3514 169.396,
  1827.                   34.1944 -20.3514 134.302,
  1828.                   73.865 -20.3514 87.0029,
  1829.                   5.20435 -20.3514 35.1259,
  1830.                   -93.9722 -20.3514 68.6933 ]
  1831.     }
  1832.  
  1833.     shape        IndexedFaceSet {
  1834.         coordIndex    [ 9, 8, 7, -1, 9, 7, 6, -1,
  1835.                   10, 9, 6, -1, 10, 6, 5, -1,
  1836.                   11, 10, 5, -1, 11, 5, 4, -1,
  1837.                   11, 4, 3, -1, 12, 11, 3, -1,
  1838.                   2, 1, 0, -1, 2, 0, 13, -1,
  1839.                   3, 2, 13, -1, 3, 13, 12, -1,
  1840.                   0, 1, 15, -1, 0, 15, 14, -1,
  1841.                   1, 2, 16, -1, 1, 16, 15, -1,
  1842.                   2, 3, 17, -1, 2, 17, 16, -1,
  1843.                   3, 4, 18, -1, 3, 18, 17, -1,
  1844.                   4, 5, 19, -1, 4, 19, 18, -1,
  1845.                   5, 6, 20, -1, 5, 20, 19, -1,
  1846.                   6, 7, 21, -1, 6, 21, 20, -1,
  1847.                   7, 8, 22, -1, 7, 22, 21, -1,
  1848.                   8, 9, 23, -1, 8, 23, 22, -1,
  1849.                   9, 10, 24, -1, 9, 24, 23, -1,
  1850.                   10, 11, 25, -1, 10, 25, 24, -1,
  1851.                   11, 12, 26, -1, 11, 26, 25, -1,
  1852.                   12, 13, 27, -1, 12, 27, 26, -1,
  1853.                   13, 0, 14, -1, 13, 14, 27, -1,
  1854.                   21, 22, 23, -1, 20, 21, 23, -1,
  1855.                   20, 23, 24, -1, 19, 20, 24, -1,
  1856.                   19, 24, 25, -1, 18, 19, 25, -1,
  1857.                   17, 18, 25, -1, 17, 25, 26, -1,
  1858.                   14, 15, 16, -1, 27, 14, 16, -1,
  1859.                   27, 16, 17, -1, 26, 27, 17, -1 ]
  1860.     }
  1861.  
  1862.     }
  1863.     DEF plat ShapeKit {
  1864.     appearance        AppearanceKit {
  1865.         material            Material {
  1866.         ambientColor    0.137255 0.180392 0.458824
  1867.         diffuseColor    0.215686 0.333333 0.835294
  1868.         specularColor    0.415686 0.462745 0.807843
  1869.         transparency    0
  1870.         }
  1871.  
  1872.     }
  1873.  
  1874.     coordinate3        Coordinate3 {
  1875.         point    [ 276.795 -125.617 -128.134,
  1876.                   276.795 -125.617 87.003,
  1877.                   284.424 -125.617 85.4772,
  1878.                   275.27 -125.617 123.622,
  1879.                   279.847 -125.617 141.931,
  1880.                   227.97 -125.617 154.138,
  1881.                   70.8134 -125.617 114.467,
  1882.                   92.1745 -125.617 79.374,
  1883.                   -5.4762 -125.617 9.18746,
  1884.                   -66.5079 -125.617 29.023,
  1885.                   -93.9722 -125.617 7.66168,
  1886.                   -3.9504 -125.617 -15.2252,
  1887.                   116.587 -125.617 71.7451,
  1888.                   99.8035 -125.617 99.2093,
  1889.                   227.97 -125.617 135.828,
  1890.                   269.166 -125.617 88.5288,
  1891.                   273.744 -125.617 87.6133,
  1892.                   273.744 -125.617 -129.798,
  1893.                   260.012 -125.617 -137.289,
  1894.                   260.012 -125.617 -161.701,
  1895.                   275.27 -125.617 -176.959,
  1896.                   290.528 -125.617 -166.279,
  1897.                   290.528 -125.617 -141.866,
  1898.                   276.795 -130.302 -128.134,
  1899.                   276.795 -130.302 87.003,
  1900.                   284.424 -130.302 85.4772,
  1901.                   275.27 -130.302 123.622,
  1902.                   279.847 -130.302 141.931,
  1903.                   227.97 -130.302 154.138,
  1904.                   70.8134 -130.302 114.467,
  1905.                   92.1745 -130.302 79.374,
  1906.                   -5.4762 -130.302 9.18746,
  1907.                   -66.5079 -130.302 29.0228,
  1908.                   -93.9722 -130.302 7.66168,
  1909.                   -3.9504 -130.302 -15.2252,
  1910.                   116.587 -130.302 71.7451,
  1911.                   99.8035 -130.302 99.2093,
  1912.                   227.97 -130.302 135.828,
  1913.                   269.166 -130.302 88.5288,
  1914.                   273.744 -130.302 87.6133,
  1915.                   273.744 -130.302 -129.798,
  1916.                   260.012 -130.302 -137.289,
  1917.                   260.012 -130.302 -161.701,
  1918.                   275.27 -130.302 -176.959,
  1919.                   290.528 -130.302 -166.279,
  1920.                   290.528 -130.302 -141.866 ]
  1921.     }
  1922.  
  1923.     shape        IndexedFaceSet {
  1924.         coordIndex    [ 11, 10, 9, -1, 11, 9, 8, -1,
  1925.                   12, 11, 8, -1, 12, 8, 7, -1,
  1926.                   13, 12, 7, -1, 13, 7, 6, -1,
  1927.                   13, 6, 5, -1, 14, 13, 5, -1,
  1928.                   3, 2, 1, -1, 14, 5, 4, -1,
  1929.                   14, 4, 3, -1, 15, 14, 3, -1,
  1930.                   15, 3, 1, -1, 16, 15, 1, -1,
  1931.                   17, 16, 1, -1, 17, 1, 0, -1,
  1932.                   21, 20, 19, -1, 22, 21, 19, -1,
  1933.                   22, 19, 18, -1, 0, 22, 18, -1,
  1934.                   0, 18, 17, -1, 0, 1, 24, -1,
  1935.                   0, 24, 23, -1, 1, 2, 25, -1,
  1936.                   1, 25, 24, -1, 2, 3, 26, -1,
  1937.                   2, 26, 25, -1, 3, 4, 27, -1,
  1938.                   3, 27, 26, -1, 4, 5, 28, -1,
  1939.                   4, 28, 27, -1, 5, 6, 29, -1,
  1940.                   5, 29, 28, -1, 6, 7, 30, -1,
  1941.                   6, 30, 29, -1, 7, 8, 31, -1,
  1942.                   7, 31, 30, -1, 8, 9, 32, -1,
  1943.                   8, 32, 31, -1, 9, 10, 33, -1,
  1944.                   9, 33, 32, -1, 10, 11, 34, -1,
  1945.                   10, 34, 33, -1, 11, 12, 35, -1,
  1946.                   11, 35, 34, -1, 12, 13, 36, -1,
  1947.                   12, 36, 35, -1, 13, 14, 37, -1,
  1948.                   13, 37, 36, -1, 14, 15, 38, -1,
  1949.                   14, 38, 37, -1, 15, 16, 39, -1,
  1950.                   15, 39, 38, -1, 16, 17, 40, -1,
  1951.                   16, 40, 39, -1, 17, 18, 41, -1,
  1952.                   17, 41, 40, -1, 18, 19, 42, -1,
  1953.                   18, 42, 41, -1, 19, 20, 43, -1,
  1954.                   19, 43, 42, -1, 20, 21, 44, -1,
  1955.                   20, 44, 43, -1, 21, 22, 45, -1,
  1956.                   21, 45, 44, -1, 22, 0, 23, -1,
  1957.                   22, 23, 45, -1, 32, 33, 34, -1,
  1958.                   31, 32, 34, -1, 31, 34, 35, -1,
  1959.                   30, 31, 35, -1, 30, 35, 36, -1,
  1960.                   29, 30, 36, -1, 28, 29, 36, -1,
  1961.                   28, 36, 37, -1, 24, 25, 26, -1,
  1962.                   27, 28, 37, -1, 26, 27, 37, -1,
  1963.                   26, 37, 38, -1, 24, 26, 38, -1,
  1964.                   24, 38, 39, -1, 24, 39, 40, -1,
  1965.                   23, 24, 40, -1, 42, 43, 44, -1,
  1966.                   42, 44, 45, -1, 41, 42, 45, -1,
  1967.                   41, 45, 23, -1, 40, 41, 23, -1 ]
  1968.     }
  1969.  
  1970.     }
  1971.     DEF wallout ShapeKit {
  1972.     appearance        AppearanceKit {
  1973.         material            Material {
  1974.         ambientColor    0.137255 0.180392 0.458824
  1975.         diffuseColor    0.215686 0.333333 0.835294
  1976.         specularColor    0.415686 0.462745 0.807843
  1977.         transparency    0
  1978.         }
  1979.  
  1980.     }
  1981.  
  1982.     coordinate3        Coordinate3 {
  1983.         point    [ -100.817 45.045 -464.732,
  1984.                   -34.8868 45.0451 -569.445,
  1985.                   119.621 45.0452 -604.209,
  1986.                   121.985 45.0452 -593.701,
  1987.                   -28.1564 45.0451 -559.919,
  1988.                   -91.7021 45.045 -458.993,
  1989.                   404.384 17.6015 -550.893,
  1990.                   445.718 17.6016 -596.82,
  1991.                   569.252 17.6014 -393.587,
  1992.                   555.835 17.6014 -385.431,
  1993.                   443.266 17.6016 -570.625,
  1994.                   416.055 17.6015 -540.39,
  1995.                   590.502 66.3135 -41.7171,
  1996.                   635.125 66.3134 47.5291,
  1997.                   743.86 66.3134 82.4797,
  1998.                   728.168 66.3132 239.398,
  1999.                   716.801 66.3132 238.261,
  2000.                   731.574 66.3134 90.5305,
  2001.                   627.055 66.3134 56.9352,
  2002.                   580.283 66.3135 -36.608,
  2003.                   404.336 111.56 612.998,
  2004.                   495.224 111.56 636.708,
  2005.                   559.31 111.559 791.267,
  2006.                   658.793 111.559 780.975,
  2007.                   666.122 111.56 630.731,
  2008.                   679.836 111.56 631.4,
  2009.                   671.933 111.559 793.42,
  2010.                   550.545 111.559 805.977,
  2011.                   485.155 111.56 648.271,
  2012.                   400.87 111.56 626.284,
  2013.                   -588.132 45.0442 294.972,
  2014.                   -646.923 45.0441 361.112,
  2015.                   -535.939 45.0439 534.987,
  2016.                   -386.41 45.044 508.82,
  2017.                   -384.942 45.044 517.207,
  2018.                   -540.062 45.0439 544.354,
  2019.                   -657.564 45.0441 360.266,
  2020.                   -594.496 45.0442 289.315,
  2021.                   -327.403 13.1095 -140.248,
  2022.                   -356.74 13.1095 -174.474,
  2023.                   -249.239 13.1096 -240.628,
  2024.                   -240.313 13.1096 -226.124,
  2025.                   -330.834 13.1095 -170.419,
  2026.                   -314.473 13.1095 -151.331,
  2027.                   -100.817 -126.217 -464.732,
  2028.                   -34.8868 -126.217 -569.445,
  2029.                   119.621 -126.217 -604.209,
  2030.                   121.985 -126.217 -593.701,
  2031.                   -28.1564 -126.217 -559.919,
  2032.                   -91.7021 -126.217 -458.994,
  2033.                   404.384 -128.399 -550.893,
  2034.                   445.718 -128.399 -596.82,
  2035.                   569.252 -128.399 -393.587,
  2036.                   555.835 -128.399 -385.431,
  2037.                   443.266 -128.399 -570.625,
  2038.                   416.055 -128.399 -540.39,
  2039.                   590.502 -124.526 -41.7171,
  2040.                   635.125 -124.526 47.5291,
  2041.                   743.86 -124.526 82.4797,
  2042.                   728.168 -124.526 239.398,
  2043.                   716.801 -124.526 238.261,
  2044.                   731.574 -124.526 90.5305,
  2045.                   627.055 -124.526 56.9352,
  2046.                   580.283 -124.526 -36.608,
  2047.                   404.336 -120.928 612.998,
  2048.                   495.224 -120.928 636.708,
  2049.                   559.31 -120.928 791.267,
  2050.                   658.793 -120.928 780.975,
  2051.                   666.122 -120.928 630.731,
  2052.                   679.836 -120.928 631.399,
  2053.                   671.933 -120.928 793.42,
  2054.                   550.545 -120.929 805.977,
  2055.                   485.155 -120.928 648.271,
  2056.                   400.87 -120.928 626.284,
  2057.                   -588.132 -126.218 294.972,
  2058.                   -646.923 -126.218 361.112,
  2059.                   -535.939 -126.218 534.987,
  2060.                   -386.41 -126.218 508.82,
  2061.                   -384.942 -126.218 517.207,
  2062.                   -540.062 -126.218 544.353,
  2063.                   -657.564 -126.218 360.266,
  2064.                   -594.496 -126.218 289.315,
  2065.                   -327.403 -128.757 -140.248,
  2066.                   -356.74 -128.757 -174.474,
  2067.                   -249.239 -128.757 -240.628,
  2068.                   -240.313 -128.757 -226.124,
  2069.                   -330.834 -128.757 -170.419,
  2070.                   -314.473 -128.757 -151.331 ]
  2071.     }
  2072.  
  2073.     shape        IndexedFaceSet {
  2074.         coordIndex    [ 1, 0, 5, -1, 1, 5, 4, -1,
  2075.                   2, 1, 4, -1, 2, 4, 3, -1,
  2076.                   7, 6, 11, -1, 7, 11, 10, -1,
  2077.                   8, 7, 10, -1, 8, 10, 9, -1,
  2078.                   17, 16, 15, -1, 17, 15, 14, -1,
  2079.                   17, 14, 13, -1, 18, 17, 13, -1,
  2080.                   19, 18, 13, -1, 19, 13, 12, -1,
  2081.                   26, 25, 24, -1, 26, 24, 23, -1,
  2082.                   27, 26, 23, -1, 27, 23, 22, -1,
  2083.                   28, 27, 22, -1, 28, 22, 21, -1,
  2084.                   28, 21, 20, -1, 29, 28, 20, -1,
  2085.                   31, 30, 37, -1, 31, 37, 36, -1,
  2086.                   31, 36, 35, -1, 32, 31, 35, -1,
  2087.                   32, 35, 34, -1, 33, 32, 34, -1,
  2088.                   39, 38, 43, -1, 39, 43, 42, -1,
  2089.                   40, 39, 42, -1, 40, 42, 41, -1,
  2090.                   0, 1, 45, -1, 0, 45, 44, -1,
  2091.                   1, 2, 46, -1, 1, 46, 45, -1,
  2092.                   2, 3, 47, -1, 2, 47, 46, -1,
  2093.                   3, 4, 48, -1, 3, 48, 47, -1,
  2094.                   4, 5, 49, -1, 4, 49, 48, -1,
  2095.                   5, 0, 44, -1, 5, 44, 49, -1,
  2096.                   6, 7, 51, -1, 6, 51, 50, -1,
  2097.                   7, 8, 52, -1, 7, 52, 51, -1,
  2098.                   8, 9, 53, -1, 8, 53, 52, -1,
  2099.                   9, 10, 54, -1, 9, 54, 53, -1,
  2100.                   10, 11, 55, -1, 10, 55, 54, -1,
  2101.                   11, 6, 50, -1, 11, 50, 55, -1,
  2102.                   12, 13, 57, -1, 12, 57, 56, -1,
  2103.                   13, 14, 58, -1, 13, 58, 57, -1,
  2104.                   14, 15, 59, -1, 14, 59, 58, -1,
  2105.                   15, 16, 60, -1, 15, 60, 59, -1,
  2106.                   16, 17, 61, -1, 16, 61, 60, -1,
  2107.                   17, 18, 62, -1, 17, 62, 61, -1,
  2108.                   18, 19, 63, -1, 18, 63, 62, -1,
  2109.                   19, 12, 56, -1, 19, 56, 63, -1,
  2110.                   20, 21, 65, -1, 20, 65, 64, -1,
  2111.                   21, 22, 66, -1, 21, 66, 65, -1,
  2112.                   22, 23, 67, -1, 22, 67, 66, -1,
  2113.                   23, 24, 68, -1, 23, 68, 67, -1,
  2114.                   24, 25, 69, -1, 24, 69, 68, -1,
  2115.                   25, 26, 70, -1, 25, 70, 69, -1,
  2116.                   26, 27, 71, -1, 26, 71, 70, -1,
  2117.                   27, 28, 72, -1, 27, 72, 71, -1,
  2118.                   28, 29, 73, -1, 28, 73, 72, -1,
  2119.                   29, 20, 64, -1, 29, 64, 73, -1,
  2120.                   30, 31, 75, -1, 30, 75, 74, -1,
  2121.                   31, 32, 76, -1, 31, 76, 75, -1,
  2122.                   32, 33, 77, -1, 32, 77, 76, -1,
  2123.                   33, 34, 78, -1, 33, 78, 77, -1,
  2124.                   34, 35, 79, -1, 34, 79, 78, -1,
  2125.                   35, 36, 80, -1, 35, 80, 79, -1,
  2126.                   36, 37, 81, -1, 36, 81, 80, -1,
  2127.                   37, 30, 74, -1, 37, 74, 81, -1,
  2128.                   38, 39, 83, -1, 38, 83, 82, -1,
  2129.                   39, 40, 84, -1, 39, 84, 83, -1,
  2130.                   40, 41, 85, -1, 40, 85, 84, -1,
  2131.                   41, 42, 86, -1, 41, 86, 85, -1,
  2132.                   42, 43, 87, -1, 42, 87, 86, -1,
  2133.                   43, 38, 82, -1, 43, 82, 87, -1,
  2134.                   49, 44, 45, -1, 48, 49, 45, -1,
  2135.                   48, 45, 46, -1, 47, 48, 46, -1,
  2136.                   55, 50, 51, -1, 54, 55, 51, -1,
  2137.                   54, 51, 52, -1, 53, 54, 52, -1,
  2138.                   59, 60, 61, -1, 58, 59, 61, -1,
  2139.                   57, 58, 61, -1, 57, 61, 62, -1,
  2140.                   57, 62, 63, -1, 56, 57, 63, -1,
  2141.                   68, 69, 70, -1, 67, 68, 70, -1,
  2142.                   67, 70, 71, -1, 66, 67, 71, -1,
  2143.                   66, 71, 72, -1, 65, 66, 72, -1,
  2144.                   64, 65, 72, -1, 64, 72, 73, -1,
  2145.                   81, 74, 75, -1, 80, 81, 75, -1,
  2146.                   79, 80, 75, -1, 79, 75, 76, -1,
  2147.                   78, 79, 76, -1, 78, 76, 77, -1,
  2148.                   87, 82, 83, -1, 86, 87, 83, -1,
  2149.                   86, 83, 84, -1, 85, 86, 84, -1 ]
  2150.     }
  2151.  
  2152.     }
  2153.     DEF datum02 ShapeKit {
  2154.     appearance        AppearanceKit {
  2155.         material            Material {
  2156.         ambientColor    0.266667 0.0196078 0.462745
  2157.         diffuseColor    0.239216 0.054902 0.356863
  2158.         specularColor    0.588235 0.431373 0.670588
  2159.         transparency    0
  2160.         }
  2161.  
  2162.     }
  2163.  
  2164.     coordinate3        Coordinate3 {
  2165.         point    [ 690.318 -2.88346 215.106,
  2166.                   640.813 -2.88361 679.695,
  2167.                   629.453 -2.88361 678.485,
  2168.                   678.958 -2.88346 213.895,
  2169.                   510.275 -2.88327 -408.993,
  2170.                   534.605 -2.88328 -368.444,
  2171.                   469.717 -2.88333 -231.035,
  2172.                   575.275 -2.8834 -4.83952,
  2173.                   565.515 -2.8834 -0.284648,
  2174.                   457.819 -2.88333 -231.062,
  2175.                   522.407 -2.88329 -367.838,
  2176.                   501.039 -2.88328 -403.451,
  2177.                   66.3073 -2.88324 -566.369,
  2178.                   133.006 -2.88323 -589.91,
  2179.                   322.629 -2.88326 -468.551,
  2180.                   427.026 -2.88323 -549.75,
  2181.                   452.273 -2.88324 -503.463,
  2182.                   444.798 -2.88324 -499.386,
  2183.                   424.347 -2.88323 -536.878,
  2184.                   323.107 -2.88326 -458.136,
  2185.                   131.918 -2.88324 -580.496,
  2186.                   69.1413 -2.88324 -558.34,
  2187.                   -269.721 -2.88337 -200.338,
  2188.                   -62.8735 -2.88332 -335.729,
  2189.                   -93.0031 -2.88329 -444.949,
  2190.                   -50.1519 -2.88327 -515.069,
  2191.                   -42.8861 -2.88327 -510.629,
  2192.                   -83.8134 -2.88329 -443.657,
  2193.                   -53.0132 -2.88332 -332.006,
  2194.                   -265.058 -2.88338 -193.213,
  2195.                   -628.221 -2.88356 338.692,
  2196.                   -285.336 -2.88341 -94.624,
  2197.                   -328.005 -2.88339 -165.738,
  2198.                   -313.401 -2.88338 -174.5,
  2199.                   -264.675 -2.88341 -93.2895,
  2200.                   -614.866 -2.88356 349.26,
  2201.                   424.637 -2.8836 610.862,
  2202.                   -202.758 -2.88358 451.161,
  2203.                   -445.523 -2.8836 500.473,
  2204.                   -447.218 -2.8836 492.128,
  2205.                   -202.545 -2.88357 442.429,
  2206.                   426.737 -2.88359 602.61,
  2207.                   690.318 -9.77614 215.106,
  2208.                   640.813 -9.77629 679.695,
  2209.                   629.453 -9.77629 678.485,
  2210.                   678.958 -9.77614 213.895,
  2211.                   510.275 -9.77595 -408.993,
  2212.                   534.605 -9.77596 -368.444,
  2213.                   469.717 -9.77601 -231.035,
  2214.                   575.275 -9.77608 -4.83952,
  2215.                   565.515 -9.77608 -0.284649,
  2216.                   457.819 -9.77601 -231.062,
  2217.                   522.407 -9.77597 -367.838,
  2218.                   501.039 -9.77596 -403.451,
  2219.                   66.3073 -9.77593 -566.369,
  2220.                   133.006 -9.77592 -589.91,
  2221.                   322.629 -9.77594 -468.551,
  2222.                   427.026 -9.77591 -549.75,
  2223.                   452.273 -9.77593 -503.463,
  2224.                   444.798 -9.77593 -499.386,
  2225.                   424.347 -9.77592 -536.878,
  2226.                   323.107 -9.77594 -458.136,
  2227.                   131.918 -9.77592 -580.496,
  2228.                   69.1413 -9.77593 -558.34,
  2229.                   -269.721 -9.77606 -200.338,
  2230.                   -62.8735 -9.776 -335.729,
  2231.                   -93.0031 -9.77597 -444.949,
  2232.                   -50.1519 -9.77595 -515.069,
  2233.                   -42.8861 -9.77595 -510.629,
  2234.                   -83.8134 -9.77597 -443.657,
  2235.                   -53.0132 -9.776 -332.006,
  2236.                   -265.058 -9.77606 -193.213,
  2237.                   -628.221 -9.77624 338.692,
  2238.                   -285.336 -9.77609 -94.624,
  2239.                   -328.005 -9.77607 -165.738,
  2240.                   -313.401 -9.77607 -174.5,
  2241.                   -264.675 -9.77609 -93.2895,
  2242.                   -614.866 -9.77625 349.26,
  2243.                   424.637 -9.77628 610.862,
  2244.                   -202.758 -9.77626 451.161,
  2245.                   -445.523 -9.77628 500.473,
  2246.                   -447.218 -9.77628 492.128,
  2247.                   -202.545 -9.77625 442.429,
  2248.                   426.737 -9.77627 602.61 ]
  2249.     }
  2250.  
  2251.     shape        IndexedFaceSet {
  2252.         coordIndex    [ 3, 2, 1, -1, 3, 1, 0, -1,
  2253.                   5, 4, 11, -1, 5, 11, 10, -1,
  2254.                   6, 5, 10, -1, 6, 10, 9, -1,
  2255.                   6, 9, 8, -1, 7, 6, 8, -1,
  2256.                   12, 21, 20, -1, 13, 12, 20, -1,
  2257.                   14, 13, 20, -1, 14, 20, 19, -1,
  2258.                   14, 19, 18, -1, 15, 14, 18, -1,
  2259.                   16, 15, 18, -1, 16, 18, 17, -1,
  2260.                   26, 25, 24, -1, 27, 26, 24, -1,
  2261.                   27, 24, 23, -1, 28, 27, 23, -1,
  2262.                   29, 28, 23, -1, 29, 23, 22, -1,
  2263.                   31, 30, 35, -1, 31, 35, 34, -1,
  2264.                   31, 34, 33, -1, 32, 31, 33, -1,
  2265.                   36, 41, 40, -1, 37, 36, 40, -1,
  2266.                   37, 40, 39, -1, 38, 37, 39, -1,
  2267.                   0, 1, 43, -1, 0, 43, 42, -1,
  2268.                   1, 2, 44, -1, 1, 44, 43, -1,
  2269.                   2, 3, 45, -1, 2, 45, 44, -1,
  2270.                   3, 0, 42, -1, 3, 42, 45, -1,
  2271.                   4, 5, 47, -1, 4, 47, 46, -1,
  2272.                   5, 6, 48, -1, 5, 48, 47, -1,
  2273.                   6, 7, 49, -1, 6, 49, 48, -1,
  2274.                   7, 8, 50, -1, 7, 50, 49, -1,
  2275.                   8, 9, 51, -1, 8, 51, 50, -1,
  2276.                   9, 10, 52, -1, 9, 52, 51, -1,
  2277.                   10, 11, 53, -1, 10, 53, 52, -1,
  2278.                   11, 4, 46, -1, 11, 46, 53, -1,
  2279.                   12, 13, 55, -1, 12, 55, 54, -1,
  2280.                   13, 14, 56, -1, 13, 56, 55, -1,
  2281.                   14, 15, 57, -1, 14, 57, 56, -1,
  2282.                   15, 16, 58, -1, 15, 58, 57, -1,
  2283.                   16, 17, 59, -1, 16, 59, 58, -1,
  2284.                   17, 18, 60, -1, 17, 60, 59, -1,
  2285.                   18, 19, 61, -1, 18, 61, 60, -1,
  2286.                   19, 20, 62, -1, 19, 62, 61, -1,
  2287.                   20, 21, 63, -1, 20, 63, 62, -1,
  2288.                   21, 12, 54, -1, 21, 54, 63, -1,
  2289.                   22, 23, 65, -1, 22, 65, 64, -1,
  2290.                   23, 24, 66, -1, 23, 66, 65, -1,
  2291.                   24, 25, 67, -1, 24, 67, 66, -1,
  2292.                   25, 26, 68, -1, 25, 68, 67, -1,
  2293.                   26, 27, 69, -1, 26, 69, 68, -1,
  2294.                   27, 28, 70, -1, 27, 70, 69, -1,
  2295.                   28, 29, 71, -1, 28, 71, 70, -1,
  2296.                   29, 22, 64, -1, 29, 64, 71, -1,
  2297.                   30, 31, 73, -1, 30, 73, 72, -1,
  2298.                   31, 32, 74, -1, 31, 74, 73, -1,
  2299.                   32, 33, 75, -1, 32, 75, 74, -1,
  2300.                   33, 34, 76, -1, 33, 76, 75, -1,
  2301.                   34, 35, 77, -1, 34, 77, 76, -1,
  2302.                   35, 30, 72, -1, 35, 72, 77, -1,
  2303.                   36, 37, 79, -1, 36, 79, 78, -1,
  2304.                   37, 38, 80, -1, 37, 80, 79, -1,
  2305.                   38, 39, 81, -1, 38, 81, 80, -1,
  2306.                   39, 40, 82, -1, 39, 82, 81, -1,
  2307.                   40, 41, 83, -1, 40, 83, 82, -1,
  2308.                   41, 36, 78, -1, 41, 78, 83, -1,
  2309.                   43, 44, 45, -1, 42, 43, 45, -1,
  2310.                   53, 46, 47, -1, 52, 53, 47, -1,
  2311.                   52, 47, 48, -1, 51, 52, 48, -1,
  2312.                   50, 51, 48, -1, 50, 48, 49, -1,
  2313.                   62, 63, 54, -1, 62, 54, 55, -1,
  2314.                   62, 55, 56, -1, 61, 62, 56, -1,
  2315.                   60, 61, 56, -1, 60, 56, 57, -1,
  2316.                   60, 57, 58, -1, 59, 60, 58, -1,
  2317.                   66, 67, 68, -1, 66, 68, 69, -1,
  2318.                   65, 66, 69, -1, 65, 69, 70, -1,
  2319.                   65, 70, 71, -1, 64, 65, 71, -1,
  2320.                   77, 72, 73, -1, 76, 77, 73, -1,
  2321.                   75, 76, 73, -1, 75, 73, 74, -1,
  2322.                   82, 83, 78, -1, 82, 78, 79, -1,
  2323.                   81, 82, 79, -1, 81, 79, 80, -1 ]
  2324.     }
  2325.  
  2326.     }
  2327.     DEF wall09 ShapeKit {
  2328.     appearance        AppearanceKit {
  2329.         material            Material {
  2330.         ambientColor    0.137255 0.180392 0.458824
  2331.         diffuseColor    0.215686 0.333333 0.835294
  2332.         specularColor    0.415686 0.462745 0.807843
  2333.         transparency    0
  2334.         }
  2335.  
  2336.     }
  2337.  
  2338.     coordinate3        Coordinate3 {
  2339.         point    [ 161.728 -18.0251 577.261,
  2340.                   -197.802 -18.0256 484.294,
  2341.                   -277.787 -18.0258 496.292,
  2342.                   -279.594 -18.0258 484.244,
  2343.                   -197.146 -18.0255 471.877,
  2344.                   164.794 -18.0251 565.47,
  2345.                   161.728 -128.308 577.261,
  2346.                   -197.802 -128.308 484.294,
  2347.                   -277.787 -128.309 496.292,
  2348.                   -279.594 -128.309 484.244,
  2349.                   -197.146 -128.308 471.877,
  2350.                   164.794 -128.308 565.47 ]
  2351.     }
  2352.  
  2353.     shape        IndexedFaceSet {
  2354.         coordIndex    [ 3, 2, 1, -1, 4, 3, 1, -1,
  2355.                   5, 4, 1, -1, 5, 1, 0, -1,
  2356.                   0, 1, 7, -1, 0, 7, 6, -1,
  2357.                   1, 2, 8, -1, 1, 8, 7, -1,
  2358.                   2, 3, 9, -1, 2, 9, 8, -1,
  2359.                   3, 4, 10, -1, 3, 10, 9, -1,
  2360.                   4, 5, 11, -1, 4, 11, 10, -1,
  2361.                   5, 0, 6, -1, 5, 6, 11, -1,
  2362.                   7, 8, 9, -1, 7, 9, 10, -1,
  2363.                   7, 10, 11, -1, 6, 7, 11, -1 ]
  2364.     }
  2365.  
  2366.     }
  2367. }
  2368.